diff options
| author | hallgren <hallgren@chalmers.se> | 2014-10-17 08:26:09 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-10-17 08:26:09 +0000 |
| commit | 955c4b6a2381b3779067c0acd3af495152e9f2b8 (patch) | |
| tree | 8ee3b1440dfe47781bc64600b27c4a8f1031b157 /src/compiler/GF/CompileInParallel.hs | |
| parent | 2caf6fa125f7f91a7a78b7f0699a43c2d922e687 (diff) | |
Use http instead of https in the links to the build job in jenkins
The ci.zjyto.net web site uses an SSL certificate that is not recognized by
mainstream browsers (e.g. Firefox, Safari and the Android web browser).
Diffstat (limited to 'src/compiler/GF/CompileInParallel.hs')
0 files changed, 0 insertions, 0 deletions