diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-17 16:07:51 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-17 16:07:51 +0000 |
| commit | f9e1075bc537082ff37656c2508f2a48f29e1b3d (patch) | |
| tree | 5ffcb3775dd54e0e9b47e6e0e6601777202e1475 /src/GF/Shell | |
| parent | 65b42711d6863461550422bcafcbc6cac78e2d5e (diff) | |
Changed Makefile use of CVS for creating dists to use darcs.
Diffstat (limited to 'src/GF/Shell')
0 files changed, 0 insertions, 0 deletions
