diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-17 12:41:52 +0100 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-02-17 12:41:52 +0100 |
| commit | 0c4aa479a72e2c41f775b5874e6d14b986a3c8a8 (patch) | |
| tree | f13e2fbb99caf7cfbc8d62148bde48b646128bdf /COPYING.JIGS | |
| parent | 9518f18560285cbeb66269a0cd88e7ff6146aee9 (diff) | |
Improve the WITH-FOREIGN-STRING-POOL macro.
darcs-hash:368ae035198c23f02565826576535eca63088985
Diffstat (limited to 'COPYING.JIGS')
0 files changed, 0 insertions, 0 deletions