chiark / gitweb /
 
descriptionJARRG main public tree
ownerIan Jackson
last changeSun, 9 Apr 2023 09:56:43 +0000 (09:56 +0000)
shortlog
2023-04-09 Ian JacksonMerge branch 'tidy' into 'main' master jarrg-1.1.1
2023-04-09 Ian JacksonStrip jarrg- from tag names
2023-04-09 Ian JacksonFix directory in publish runes
2023-04-09 Ian JacksonFix username in rsync rune
2023-04-09 Ian JacksonMerge branch 'pctb' into 'main' jarrg-1.1.0
2023-04-09 Ian JacksonMerge branch 'build' into 'main'
2023-04-09 Ian JacksonAdd "PCTB:" to the error that PCTB gives nowadays
2023-04-09 Ian JacksonTurn off PCTB upload by default
2023-04-09 Ian JacksonImprove publication instructions
2023-04-09 Ian JacksonFix build-sh problem
2023-04-08 Ian JacksonMerge branch 'island' into 'main'
2023-04-08 Ian JacksonFix island name finding (fixes bug mentioned in wiki)
2023-04-08 Ian JacksonMerge branch 'scripts' into 'main'
2023-04-08 Ian JacksonJava directory searching: accept java-*
2023-04-08 Ian JacksonPlumb JARRG_JAVA_OPTS through
2023-04-08 Ian JacksonUpdate JDK version in build-sh to OpenJDK 8
...
tags
17 months ago jarrg-1.1.1 jarrg 1.1.1
17 months ago jarrg-1.1.0 jarrg 1.1.0
13 years ago 1.0.5 Threading fixes
13 years ago 1.0.4 Minor bugfixes
14 years ago 1.0.3 Production release (version number...
14 years ago 1.0.2 Production release (minor cosmetic...
14 years ago 1.0.1 Production release (minor bugfix)
14 years ago 1.0.0 non-beta release
14 years ago 0.9.9 much renaming and improvement
14 years ago 0.9.8 Prerelease, RC8
14 years ago 0.9.7 Prerelease, RC7
14 years ago 0.9.6 Prerelease, RC6
14 years ago 0.9.5 Prerelease, RC5
14 years ago 0.9.4 Prerelease, RC4
14 years ago 0.9.3 Prerelease, RC3
14 years ago 0.9.2 Prerelease, RC2
...
heads
17 months ago master
13 years ago unstable