diff options
| author | Juergen Daubert <jue@jue.li> | 2018-08-24 12:38:26 +0200 |
|---|---|---|
| committer | Juergen Daubert <jue@jue.li> | 2018-08-24 12:38:26 +0200 |
| commit | 7dd8c3edfa2688806fe7a88fab4c1c99501b86dd (patch) | |
| tree | 25819425cbd576045166d802239c4682f4858f6d /libgmp | |
| parent | 72554e0bdd7c32431b61db291cce6badacd86a5e (diff) | |
| download | core-7dd8c3edfa2688806fe7a88fab4c1c99501b86dd.tar.gz core-7dd8c3edfa2688806fe7a88fab4c1c99501b86dd.tar.xz | |
core: remove all .md5sum
Diffstat (limited to 'libgmp')
| -rw-r--r-- | libgmp/.md5sum | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/libgmp/.md5sum b/libgmp/.md5sum deleted file mode 100644 index 04498cb6..00000000 --- a/libgmp/.md5sum +++ /dev/null @@ -1,2 +0,0 @@ -f58fa8001d60c4c77595fbbb62b63c1d gmp-6.1.2.tar.xz -bbf6d30f092c6d302f028679f1f9bfc3 gmp.h |