Tree
- Tree:
1e60f83e7f842a17d70f9e9e2c4449047983591c- Date:
- Message:
- comparison.html: got tag is more like git tag -a git tag creates by default lightweight tags, which we don't create at all, so the distinction is fairly important. naddy agrees
1e60f83e7f842a17d70f9e9e2c4449047983591c
