summaryrefslogtreecommitdiff
path: root/version.make
diff options
context:
space:
mode:
authorMatthias Benkard <code@mail.matthias.benkard.de>2008-03-13 19:16:30 +0100
committerMatthias Benkard <code@mail.matthias.benkard.de>2008-03-13 19:16:30 +0100
commitbdc0a27be6ce7636addcf7b0054de244859af74e (patch)
tree8ca95dbd95cf983613b3dbdf8209e5d9d1b46868 /version.make
parenta7a08e54c0d31f91fc5058c12c72125dcde82c24 (diff)
Make use of the fact that readtables are file-local.
darcs-hash:d07bd4cb573f8d4fa226cca8a1da1e39837b5757
Diffstat (limited to 'version.make')
0 files changed, 0 insertions, 0 deletions