Jeroen Demeyer on Thu, 15 Jan 2015 10:18:25 +0100

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

[PATCH] Remove all traces of gp_default.h

Dear pari-dev,

The file gp_default.h is long gone, but still mentioned in get_MANIFEST.
See patch to fix this.

commit c232fca3eeaed051787f5f8a46c05cb07393ca94
Author: Jeroen Demeyer <>
Date:   Thu Jan 15 10:15:24 2015 +0100

    Remove last traces of gp_default.h

diff --git a/config/get_MANIFEST b/config/get_MANIFEST
index 68774c6..b378e76 100755
--- a/config/get_MANIFEST
+++ b/config/get_MANIFEST
@@ -5,7 +5,6 @@ echo src/language/default.h
 echo src/language/init.h
 echo src/language/parse.c
 echo src/language/parse.h
-echo src/gp/gp_default.h
 echo src/gp/gp_init.h
 echo src/gp/highlvl.h
 echo src/gp/whatnow.h
diff --git a/src/gp/.gitignore b/src/gp/.gitignore
index 8b9a77f..67ecc44 100644
--- a/src/gp/.gitignore
+++ b/src/gp/.gitignore
@@ -1,4 +1,3 @@