diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-21 10:30:19 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-21 10:30:19 +0000 |
| commit | b87b82fbd97a8bcfab93a3e219ff42c3a3ddb927 (patch) | |
| tree | b6c91a1c226b7f178591cb1c4df53da6591a6fbd /src/GF/Shell.hs | |
| parent | cf2c5641a26fa53178d5e9d8016fb606956b4e25 (diff) | |
Debian package: run configure and make in src/.
Diffstat (limited to 'src/GF/Shell.hs')
0 files changed, 0 insertions, 0 deletions