diff options
| author | hallgren <hallgren@chalmers.se> | 2017-02-10 12:14:22 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2017-02-10 12:14:22 +0000 |
| commit | de6c897bd31566409b365ba49f2acb9d5797d6d7 (patch) | |
| tree | dd507f6af517ba5a0acd079a3b484c091c053d98 /src/server/exec | |
| parent | 011d2a44b8f8cd509a10c191d7a1e349440479da (diff) | |
GF home page: comment out the "GF build status" link
Gregoire's Jenkins server has been down since last summer...
Diffstat (limited to 'src/server/exec')
0 files changed, 0 insertions, 0 deletions