diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-29 12:55:35 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-29 12:55:42 +0100 |
| commit | 4b12266d80b52a644ec868183891df8d29502a7a (patch) | |
| tree | 683efbc09703bab140fa23af21e9d3c21ae0c9d0 /contrib/debian/watch | |
| parent | 9645218c66a90c52e6ab7c862de5229d522b7144 (diff) | |
| parent | befeb554184682ac9d98b56ef4e7f20642be01d0 (diff) | |
Merge #7428: doc: add example for listing ./configure flags
befeb55 Add example for displaying additional configure flags (Nathaniel Mahieu)
Diffstat (limited to 'contrib/debian/watch')
0 files changed, 0 insertions, 0 deletions