HEAD | b27a524 | Merge pull request #35 from sjjs7/final-changes Final changes | 24 August 2020, 14:18:07 UTC |
refs/heads/master | b27a524 | Merge pull request #35 from sjjs7/final-changes Final changes | 24 August 2020, 14:18:07 UTC |
refs/heads/revert-15-master | b58aac6 | Revert "second batch (#15)" This reverts commit e135bb6cc839d7a5c9c061aed30f6bc7c6ece5fb. | 22 June 2020, 23:42:39 UTC |
refs/heads/revert-16-master | 9a01cb3 | Revert "third batch (#16)" This reverts commit acb8e1333cfdc7e5e3b4079bfc6ec90249e52af3. | 22 June 2020, 23:41:13 UTC |
refs/heads/revert-17-master | aad5d25 | Revert "fourth batch (#17)" This reverts commit e40203e22c52822526d396e2e730417c25c9cacc. | 22 June 2020, 23:39:45 UTC |
refs/heads/test | 3041687 | Manually went through list of both-modified files and replaced with hol-light\master variants, make should be usable now | 21 June 2019, 20:59:16 UTC |
refs/heads/wiki | 2551d0b | Migrating wiki contents from Google Code | 19 October 2015, 03:35:14 UTC |