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 /doc/Makefile.am | |
| parent | 15bec8f464dc6afce88e82bdce1b76ce5f372891 (diff) | |
removing dead option
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions