diff options
| author | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-05-29 11:48:22 +0200 |
|---|---|---|
| committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2007-05-29 11:48:22 +0200 |
| commit | 050de50f4610061c4facb40fea521484d5485b89 (patch) | |
| tree | 657b1c37b9e79e139ddb5aeeb1841a5ee6c63bf1 /make-core-image.sh | |
| parent | b85827ccd6a478d6dcf82836d2adf6b034efaf5d (diff) | |
Add a LAST-MODIFICATION field to class JOURNAL-ENTRY.
darcs-hash:1663026972190249829b9f43c0b20e5f56fb9823
Diffstat (limited to 'make-core-image.sh')
0 files changed, 0 insertions, 0 deletions