Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-13 02:35:26 -0700 (Thu, 13 May 2004)
Revision: 5770
Log message:

      Removing unused code (it was a part of the old-style comments support).
      

Changes  Path
+0 -1 metaprl/filter/base/Files
Deleted metaprl/filter/base/filter_comment.ml
Deleted metaprl/filter/base/filter_comment.mli