Author: bernhard Date: Sat May 17 08:38:25 2008 New Revision: 27587 Removed: trunk/languages/plumhead/src/antlr3/GenPastPir.g Modified: trunk/MANIFEST
Log: [Plumhead antlr] GenPastPir.g was replaced by GenPastPir.g Modified: trunk/MANIFEST ============================================================================== --- trunk/MANIFEST (original) +++ trunk/MANIFEST Sat May 17 08:38:25 2008 @@ -1,7 +1,7 @@ # ex: set ro: # $Id$ # -# generated by tools/dev/mk_manifest_and_skip.pl Sat May 17 08:32:20 2008 UT +# generated by tools/dev/mk_manifest_and_skip.pl Sat May 17 15:36:24 2008 UT # # See tools/dev/install_files.pl for documentation on the # format of this file. @@ -1996,7 +1996,6 @@ languages/plumhead/plumhead.pl [plumhead] languages/plumhead/src/antlr3/GenPastNqp.g [plumhead] languages/plumhead/src/antlr3/GenPastNqp.java [plumhead] -languages/plumhead/src/antlr3/GenPastPir.g [plumhead] languages/plumhead/src/antlr3/Plumhead.g [plumhead] languages/plumhead/src/antlr3/PlumheadAntlr3.java [plumhead] languages/plumhead/src/antlr3/PlumheadLexer.java [plumhead]