diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-16 14:01:29 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-16 14:01:29 +0000 |
| commit | 13ecc8bdc328bcb680a82f3d4c152e1a845654fd (patch) | |
| tree | 21793261d6e250d8b478082f436aa529f972945b /build-binary-dist.sh | |
| parent | 7c484aeada7fc56f9c192931d7d41bef78546211 (diff) | |
Adding a .ghci file to make it easier to load GF in ghci.
Diffstat (limited to 'build-binary-dist.sh')
0 files changed, 0 insertions, 0 deletions