diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-07-23T09·38+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-07-23T09·38+0000 |
| commit | 660244f65f5d3cb445c874b25fcf6494b3c1df3a (patch) | |
| tree | 2cda6b7ba17de7c1a4e5500ec867dc150a9bfecb /make | |
| parent | e139d7fc6896ec9eaca3944828e37ec61894d8e0 (diff) | |
* Make sure that copy-from-other-stores.pl is built.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions