Update to the new names of generated txt files
commita37d5acb390171aeed938406446be926c5f11aaa
authorJonas Fonseca <fonseca@diku.dk>
Sat, 14 Jan 2006 07:02:30 +0000 (14 08:02 +0100)
committerJonas Fonseca <fonseca@antimatter.localdomain>
Sat, 14 Jan 2006 07:02:30 +0000 (14 08:02 +0100)
tree202e740e16ed8f0ac01987c1022f338b6a54fea6
parentfabd3df9848ba6e8ac51a0acfe318f3f16a6318e
Update to the new names of generated txt files
doc/.gitignore