fix Makefile attribution

c51a909a · Ralf Jung · 4c3cbc71 · c51a909a
Commit c51a909a authored Feb 12, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

Makefile Makefile +2 -1

No files found.
--- a/Makefile
+++ b/Makefile
-# Makefile originally by Christian Doczkal <doczkal@ps.uni-saarland.de>
+# Makefile taken from coq-club, Christian Doczkal <doczkal@ps.uni-saarland.de>,
+# who adapted it from "somewhere".
 all: Makefile.coq
 	+make -f Makefile.coq all