From: Uwe Köcher <koecher@hsu-hamburg.de>
Date: Thu, 26 Apr 2018 07:54:45 +0000 (+0200)
Subject: Merge pull request #71 from tjhei/boost_export
X-Git-Tag: v8.5.1~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cd16d1325fd97c68597b369aa79f8ae26fb5c5a7;p=candi.git

Merge pull request #71 from tjhei/boost_export

export BOOST_DIR
---

cd16d1325fd97c68597b369aa79f8ae26fb5c5a7