src/Pure/README
changeset 30204 8ede2f7104cf
parent 28504 7ad7d7d6df47
child 30834 1640e0625301
     1.1 --- a/src/Pure/README	Mon Mar 02 18:50:41 2009 +0100
     1.2 +++ b/src/Pure/README	Mon Mar 02 20:29:43 2009 +0100
     1.3 @@ -19,5 +19,3 @@
     1.4  
     1.5  See ROOT.ML for further information.
     1.6  
     1.7 -
     1.8 -$Id$