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