Skip to content
Snippets Groups Projects
Forked from agnumpde / dune-tectonic
13 commits behind the upstream repository.
user avatar
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
7cad8e1e
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.