diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-27 16:17:28 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-06-27 16:17:28 +0200 |
| commit | 7ad928e57d7ed8818040327a31b7dad5ec04ec10 (patch) | |
| tree | 922b8323536ca196e040cd96c9a5a45d08c02a2f /JOURNAL | |
| parent | 08e462e7a12530c2c7bb8036be05d79d1dfe9456 (diff) | |
Make symbol printing a tad less incorrect.
Diffstat (limited to 'JOURNAL')
0 files changed, 0 insertions, 0 deletions