diff options
Diffstat (limited to 'gnu/lib/libgmp/VERSION')
-rw-r--r-- | gnu/lib/libgmp/VERSION | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/lib/libgmp/VERSION b/gnu/lib/libgmp/VERSION deleted file mode 100644 index bf76b46..0000000 --- a/gnu/lib/libgmp/VERSION +++ /dev/null @@ -1 +0,0 @@ -GNU MP version 1.3.2 |