diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-09-12 13:50:03 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-09-12 13:50:03 +0000 |
| commit | ebcb507fbcf4a0b0d75592c0d3f5193a8d3b0799 (patch) | |
| tree | dae1cb5db765f0ce5e819785e61cf55d24cb1ebe /configs | |
| parent | 1130bfb0c80bb04fa0873a075758a8abb84f607a (diff) | |
Use RM_COMMAND everywhere during building.
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions