not needed
commite258c618d074577b969da5da28969e289a094679
authorygrek <ygrek@autistici.org>
Sun, 19 Oct 2008 17:46:24 +0000 (19 20:46 +0300)
committerygrek <ygrek@autistici.org>
Sun, 19 Oct 2008 17:46:24 +0000 (19 20:46 +0300)
tree9df0592ccdccd83f3adc30874b1cac8de62c6d82
parent9d727988104d185cb0510b3b0c932d398156ca56
not needed
27 files changed:
prop-src/codegen.rpo [deleted file]
prop-src/collection.rpo [deleted file]
prop-src/datagen.rpo [deleted file]
prop-src/datatype.rpo [deleted file]
prop-src/funmap.rpo [deleted file]
prop-src/indexing.rpo [deleted file]
prop-src/infgen.rpo [deleted file]
prop-src/lawgen.rpo [deleted file]
prop-src/list.rpo [deleted file]
prop-src/matchcom.rpo [deleted file]
prop-src/matchgen.rpo [deleted file]
prop-src/parsegen.rpo [deleted file]
prop-src/parser-util.rpo [deleted file]
prop-src/parser.rpo [deleted file]
prop-src/pat.rpo [deleted file]
prop-src/patenv.rpo [deleted file]
prop-src/persistgen.rpo [deleted file]
prop-src/printgen.rpo [deleted file]
prop-src/printing.rpo [deleted file]
prop-src/rwgen.rpo [deleted file]
prop-src/rwgen2.rpo [deleted file]
prop-src/rwgen3.rpo [deleted file]
prop-src/rwgen4.rpo [deleted file]
prop-src/setltype.rpo [deleted file]
prop-src/trs.rpo [deleted file]
prop-src/trs3.rpo [deleted file]
prop-src/type.rpo [deleted file]