Skip to content
GitLab
Explore
Sign in
dune-fem
dune-fem-dg
Repository
dune-fem-dg
scripts
check-dist.sh
Find file
Blame
History
Permalink
make check scripts work as in dune-fem
· acb45d84
Tobias Malkmus
authored
Jan 10, 2014
acb45d84