diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2018-07-05 13:10:02 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2018-07-05 13:10:02 +0200 |
| commit | 73cf58da2339878a91b748ad3849d59514065edf (patch) | |
| tree | c352ed06510fa88ae4189d90511ed1f0d5257102 /src/runtime/java/org/grammaticalframework | |
| parent | e95aa16fdc28a387406231f4b34ff56ce2afc730 (diff) | |
revert to a version compatible with Cabal 1.22
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
0 files changed, 0 insertions, 0 deletions