diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-08-13 08:46:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-13 08:46:09 +0200 |
| commit | 50e1e7b17e3d04eac37199fd063613dce5a70f40 (patch) | |
| tree | daf6d6e7149a95348b2cc62cfdf112cfbf2efa12 /src/compiler/GF/Command/TreeOperations.hs | |
| parent | f1803a2f16013b093058424c58a3a1d164d29905 (diff) | |
| parent | 64ccc424cfa65e2e94f3d01dcc880e3dbde96968 (diff) | |
Merge pull request #7 from odanoburu/travis-ci
add travis ci
Diffstat (limited to 'src/compiler/GF/Command/TreeOperations.hs')
0 files changed, 0 insertions, 0 deletions