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 | 88f72523137c40ee3c15359339d1aede8fdb6940 (patch) | |
| tree | 6f85f253789fe06d4e40853ff58aa008295f589e /tests/rec3.ur | |
| parent | 564ceb43a96abc7c05941db2a859cc949d9799a3 (diff) | |
Use configure --prefix
Diffstat (limited to 'tests/rec3.ur')
0 files changed, 0 insertions, 0 deletions