From: Luca Heltai Date: Mon, 25 Aug 2014 13:35:37 +0000 (+0200) Subject: Merge pull request #116 from bangerth/add-missing-spirit-lib X-Git-Tag: v8.2.0-rc1~177 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7aaf1de7392c4c744727be5c701e647eddfbdaa5;p=dealii.git Merge pull request #116 from bangerth/add-missing-spirit-lib Add back the spirit sublibrary of boost. --- 7aaf1de7392c4c744727be5c701e647eddfbdaa5