diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-05-29 18:27:15 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-05-29 18:27:15 +0200 |
| commit | 173c848fe93dce1ca59edd408a376334ef4047bf (patch) | |
| tree | 6be227aac4b4e874931d7d26ff2454e8f83ba0f3 /doc/Makefile.am | |
| parent | 85350ced32108f2ec69fbf62e0a7c3b256840fb1 (diff) | |
minor changes to get #3464 to work, finally
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions