| # Text of version/date "tags" |
| checkers.date.0=<!-- checker-framework-date --> |
| checkers.date.1=<!-- /checker-framework-date --> |
| checkers.zip.ver.0=<!-- checker-framework-zip-version --> |
| checkers.zip.ver.1=<!-- /checker-framework-zip-version --> |
| afu.zip.ver.0=<!-- annotation-tools-zip-version --> |
| afu.zip.ver.1=<!-- /annotation-tools-zip-version --> |
| checkers.ver.0=<!-- checker-framework-version --> |
| checkers.ver.1=<!-- /checker-framework-version --> |
| compiler.ver.0=<!-- compiler-version --> |
| compiler.ver.1=<!-- /compiler-version --> |
| h4.ver.0=<h4 id="version"> |
| h4.ver.1=</h4> |
| release.info.0=ReleaseInfo}\\{ |
| release.info.1=\\} |
| release.ver.0=ReleaseVersion}\\{ |
| release.ver.1=\\} |
| gradle.ver.0=ext.checkerFrameworkVersion = ' |
| gradle.ver.1=' |