Start a fresh install from the dune process

EIT-team · May 9, 2019 · 6cf0737 · 6cf0737
1 parent db92cb5
commit 6cf0737
Show file tree

Hide file tree

Showing 86 changed files with 1,614 additions and 154,338 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
+src/*old.hh
+build-cmake
 config.opts
 src/.deps/dune_peits-dune_peits.Po
 Makefile

diff --git a/INSTALL b/INSTALL
diff --git a/INSTRUCTIONS.txt b/INSTRUCTIONS.txt
diff --git a/Makefile.am b/Makefile.am
diff --git a/README.md b/README.md
diff --git a/config.opts_example b/config.opts_example
diff --git a/configure.ac b/configure.ac
diff --git a/data/Makefile.am b/data/Makefile.am