HEAD | 29a1834 | Set version to 1.3.8.dev | 21 February 2024, 21:56:43 UTC |
refs/heads/master | 29a1834 | Set version to 1.3.8.dev | 21 February 2024, 21:56:43 UTC |
refs/tags/v1.3.2 | 064e52c | Initialize with files from 1.3.2 release (Only non-generated files.) | 29 January 2018, 23:14:40 UTC |
refs/tags/v1.3.3 | c6690fa | Adjust README and index.html to 1.3.3. | 30 January 2018, 17:35:45 UTC |
refs/tags/v1.3.4 | 971183a | Adjust making manual with links to GAP site. | 16 July 2019, 11:08:52 UTC |
refs/tags/v1.3.5 | fe25253 | Push version to 1.3.5 | 13 August 2019, 08:37:10 UTC |
refs/tags/v1.3.7 | 8a63a6b | Set version and date for 1.3.7 release | 21 February 2024, 17:07:26 UTC |