diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-10-08 20:47:17 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-10-08 20:47:17 +0200 |
| commit | 99865ad6d46c61eea43b59c110730d6781aade6d (patch) | |
| tree | 8d2ec6bac7d46e47383669480f86a09deeae22fc /ChangeLog | |
| parent | 2ce2c1dac785e24b0f1bf93c203f5b71f25b1ab4 (diff) | |
-minor corrections to the corrections
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions