diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-11-17 11:48:02 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-11-17 11:48:02 +0100 |
commit | 18bec3eaa30898e7a62f086cce78730a371b3026 (patch) | |
tree | 68d4ef636491f2387eb5c130c745c73484d53c3e /doc/Makefile.am | |
parent | fe6f6dbe44760e16d291d7bbd388526dcc2f3ded (diff) |
add note for #4792
Diffstat (limited to 'doc/Makefile.am')
0 files changed, 0 insertions, 0 deletions