move to a leaner install procedure

2011-12-01 21:54:39 +01:00
parent 84b017e5fd
commit d9ce468a03
41 changed files with 32530 additions and 129 deletions
--- a/library/gecode/dev/extractor/notice.py
+++ b/library/gecode/dev/extractor/notice.py
@@ -0,0 +1,3 @@
+# This file was automatically extracted from Gecode source files.
+# It is subject to the same Copyright as the source files from which
+# it is derived, and is distributed under the same Licensing conditions.