diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-11-11 00:59:38 -0800 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2013-11-11 00:59:38 -0800 |
commit | 59be91ae1e8da1e679adbb7c84e8bca749daa8a7 (patch) | |
tree | 06777fe95d46dccd5befbcaae84aef7b40fb5c6c /src | |
parent | fb4a31a26c5fbbedf6f67a24f4c6ad3dba70f7f5 (diff) | |
parent | 2b9170746945e5bfc09e2a235c70fee359a224a5 (diff) |
Merge pull request #3231 from brandondahler/doc-autotool-update
Update build docs that refer to old makefile.* files.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions