diff options
| author | pmichaud <pmichaud@pobox.com> | 2012-08-28 03:37:40 -0500 |
|---|---|---|
| committer | pmichaud <pmichaud@pobox.com> | 2012-08-28 03:37:40 -0500 |
| commit | b9187e6ca4a85674a12dabfee448909a4b41a29d (patch) | |
| tree | dcfa3c3fd007e62b5441afc211075f988e05cd5b /.gitignore | |
| parent | bba776e246901384bbd11c57552781809e5cab01 (diff) | |
Add --force option to Configure.pl to force configuration even
if in a .git repository.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions