- May 12, 2019
-
-
podlesny authored
-
- Apr 21, 2017
-
-
Elias Pipping authored
-
- Apr 20, 2017
-
-
Elias Pipping authored
This allows us to remove the last boost::filesystem dependency, and thus all of boost. It seems to be a better idea than hardcoding the path to the source directory (which might be unavailable later) anyway
-
- Oct 04, 2016
-
-
Elias Pipping authored
-
- May 25, 2016
-
-
Elias Pipping authored
-
Elias Pipping authored
-
- Jun 09, 2015
-
-
Elias Pipping authored
-
Elias Pipping authored
-