diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-21 12:25:34 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-21 12:25:34 +0000 |
| commit | 388fd424a9be17b41859e7aaf5f23c5d0ed9c5b0 (patch) | |
| tree | 4d0239194f562818419a52b320228ff97e5d160b /src/GF/Shell.hs | |
| parent | b7f5f9d404b4e7412fdeb5243d559248ffe548e0 (diff) | |
Don't rebuild java code when installing it.
Diffstat (limited to 'src/GF/Shell.hs')
0 files changed, 0 insertions, 0 deletions