diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-02-21 09:32:05 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-02-21 09:32:05 +0100 |
| commit | 2311b3fe66d77d5a8ed3ce4e0878e2b7ef109bd3 (patch) | |
| tree | ef5fb968fd9ac658f45db7ad95382e32f413679a /configure.in | |
| parent | 196c511c97b83a16c551f4e767f5a8b0d4f77c45 (diff) | |
doc/examples/configure-index: remove no longer used option NoConfigure
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions