diff options
author | 2017-04-14 13:56:56 +0200 | |
---|---|---|
committer | 2017-04-14 13:56:56 +0200 | |
commit | fd197553c11bc968aa13b9db6a49608b5d8accc4 (patch) | |
tree | 0e41cd7b9c4a16a1cba79ddce4581da04953668a /doc | |
parent | 81993897584b2f6bf9e6575eee44bd09a7b79f0e (diff) | |
parent | c50f62734c6d180561c6a65679daef591d565944 (diff) |
Merge PR#554: Update INSTALL now that -debug is the default.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions