diff options
| author | gregoire.detrez <gregoire.detrez@gu.se> | 2014-10-16 15:51:08 +0000 |
|---|---|---|
| committer | gregoire.detrez <gregoire.detrez@gu.se> | 2014-10-16 15:51:08 +0000 |
| commit | 070057e6950d7d07d05c91bb90033d012c6e8f01 (patch) | |
| tree | ab363a9cf751fe08975645740381c567b05ae800 /src/compiler/GF/Interactive.hs | |
| parent | 5a641ebe730662c5c439521a1caddcc8a3125399 (diff) | |
Change the path to the build job in jenkins
Diffstat (limited to 'src/compiler/GF/Interactive.hs')
0 files changed, 0 insertions, 0 deletions