diff options
Diffstat (limited to 'src/engine/gnump/info.txt')
| -rw-r--r-- | src/engine/gnump/info.txt | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/engine/gnump/info.txt b/src/engine/gnump/info.txt index bd5c15f7f..7a789681e 100644 --- a/src/engine/gnump/info.txt +++ b/src/engine/gnump/info.txt @@ -12,14 +12,10 @@ gmp_wrap.h </header:internal> <source> -gmp_dh.cpp -gmp_dsa.cpp -gmp_elg.cpp -gmp_if.cpp gmp_mem.cpp -gmp_nr.cpp gmp_powm.cpp gmp_wrap.cpp +gnump_pk.cpp </source> <requires> |