X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2Fgmp%2Fversion.texi;fp=rts%2Fgmp%2Fversion.texi;h=0000000000000000000000000000000000000000;hb=fdf1cd0399158308769fcb2ab7e46e215a68d865;hp=e3186186b2bc24d3693cb8ad3e6f09b4c0040e02;hpb=e552cfc427d2734b9a9629f2ab1d22f493e775f6;p=ghc-hetmet.git diff --git a/rts/gmp/version.texi b/rts/gmp/version.texi deleted file mode 100644 index e318618..0000000 --- a/rts/gmp/version.texi +++ /dev/null @@ -1,3 +0,0 @@ -@set UPDATED 5 October 2000 -@set EDITION 3.1.1 -@set VERSION 3.1.1