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
12 months ago jarrg-1.1.1 jarrg 1.1.1
12 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
13 years ago 1.0.3 Production release (version number...
13 years ago 1.0.2 Production release (minor cosmetic...
13 years ago 1.0.1 Production release (minor bugfix)
13 years ago 1.0.0 non-beta release
13 years ago 0.9.9 much renaming and improvement
13 years ago 0.9.8 Prerelease, RC8
13 years ago 0.9.7 Prerelease, RC7
13 years ago 0.9.6 Prerelease, RC6
13 years ago 0.9.5 Prerelease, RC5
13 years ago 0.9.4 Prerelease, RC4
13 years ago 0.9.3 Prerelease, RC3
13 years ago 0.9.2 Prerelease, RC2
...
heads
12 months ago master
13 years ago unstable