diff options
| author | hallgren <hallgren@chalmers.se> | 2015-10-02 10:15:02 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-10-02 10:15:02 +0000 |
| commit | 1b2dfbb6d8a905bcd3336a4b4a5d2b5e3569782d (patch) | |
| tree | 7fff4371828faeb1ccfce1069f99808ef4d0bf7c /debian/control | |
| parent | beccb68dddabefe1fee399242063fa2dabc4d5eb (diff) | |
Bump version number to 3.7.1 and finalize documentation
Updated version number in gf.cabal and update debian/changelog
News item on home page (index.html)
Some last minute edits on the download page
Move the new release notes and download page in place.
Diffstat (limited to 'debian/control')
0 files changed, 0 insertions, 0 deletions