Permalink
Browse files

Remove old versions of files needed for bootstrapping from 5.40 and 5…

….41.

git-svn-id: https://polyml.svn.sourceforge.net/svnroot/polyml/trunk@1606 57040599-48ee-4647-8227-d26cbd406fcb
  • Loading branch information...
1 parent e4f802d commit f6846746ee7d1134df5703b41b0b7bf78bbcf22f dcjm committed Oct 4, 2012
Showing with 0 additions and 3,153 deletions.
  1. +0 −1,588 polyml/basis/FinalPolyML.540.sml
  2. +0 −1,565 polyml/basis/FinalPolyML.541.sml
Oops, something went wrong.

0 comments on commit f684674

Please sign in to comment.