diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-13 19:16:30 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-03-13 19:16:30 +0100 |
| commit | bdc0a27be6ce7636addcf7b0054de244859af74e (patch) | |
| tree | 8ca95dbd95cf983613b3dbdf8209e5d9d1b46868 /debian | |
| parent | a7a08e54c0d31f91fc5058c12c72125dcde82c24 (diff) | |
Make use of the fact that readtables are file-local.
darcs-hash:d07bd4cb573f8d4fa226cca8a1da1e39837b5757
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions