diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-07-08 18:32:45 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-07-08 18:32:45 +0000 |
| commit | 0c05a33d82346560b375d2473588c8a16a014d62 (patch) | |
| tree | a7b36db9fe73c9b218281d15330d958a0a2d5614 /src/JavaGUI2 | |
| parent | 26fba297463fea26946da894004ad7dce0e8a9dc (diff) | |
Use darcs dist instead of darcs get in make dist. This should get around the problem with partial repositories.
Diffstat (limited to 'src/JavaGUI2')
0 files changed, 0 insertions, 0 deletions