diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-25 12:07:10 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-25 12:07:10 -0400 |
| commit | 1ba5a166755794de2a31af5cdcb1d6ea95f637b9 (patch) | |
| tree | 6f85f253789fe06d4e40853ff58aa008295f589e /.hgignore | |
| parent | 1d85b75e5d7d18a961c14bfdf38aee339f4f2e05 (diff) | |
Use configure --prefix
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions