diff options
author | Christian Grothoff <christian@grothoff.org> | 2015-04-12 23:39:57 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2015-04-12 23:39:57 +0200 |
commit | f1e025379401c7e9430e3eab9769c7a4ae7976e5 (patch) | |
tree | a603e3bd29e4580a605a8f6e13d14f3cdc96d753 /ChangeLog | |
parent | 15bec8f464dc6afce88e82bdce1b76ce5f372891 (diff) |
removing dead option
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions