commit | a44a5b863aaae98041e11aa3256907bf912ee4d6 | [log] [tgz] |
---|---|---|
author | Tom Tromey <tom@tromey.com> | Tue May 17 17:07:27 2016 -0600 |
committer | Tom Tromey <tom@tromey.com> | Tue May 17 17:07:27 2016 -0600 |
tree | efa3818d74beb858ff4557292c4a6d4369809d6a | |
parent | 9443eaeda867cfdeae92b10bee3cc0506892a4c5 [diff] | |
parent | 2627fc98e86e906fd7c9bc16bf345b91ee26d2ba [diff] |
Merge pull request #234 from berkerpeksag/disable-docs Add a note about the --disable-docs switch