diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-12 20:54:59 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-12 20:54:59 +0000 |
| commit | 4811de89a4df9a24cf74cf562aa1372e4be6cf4e (patch) | |
| tree | e93be9c5f5269c62cca3fafafd1901ec9918aca3 /src | |
| parent | 3021570b1be31098ed57197a2032b3bd89d2473d (diff) | |
GF home page: add a link to Grégoire's GF build status page
The link shows the current build status.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions