Select Git revision
- Branches 6
- master default protected
- experimental
- jessie
- jarwrapper-migration
- jh-symbols
- policy-dc10
- Tags 20
- debian/0.80
- debian/0.79
- debian/0.78
- debian/0.77
- debian/0.76
- debian/0.75
- debian/0.74
- debian/0.73
- debian/0.72.12
- debian/0.72.11
- debian/0.72.10
- debian/0.72.9
- debian/0.72.8
- debian/0.72.7
- debian/0.72.6
- archive/debian/0.72.5
- debian/0.72.5
- archive/debian/0.72.4
- debian/0.72.4
- archive/debian/0.72.3
