Thu, 13 May 2021 14:33:04 +0200 Added tag fatags-0.7 for changeset d7b69a5dcd37 default tip
Tomas Zeman <tomas@functionals.cz> [Thu, 13 May 2021 14:33:04 +0200] rev 48
Added tag fatags-0.7 for changeset d7b69a5dcd37
Thu, 13 May 2021 14:32:54 +0200 fatags: 0.7-SNAPSHOT -> 0.7 fatags-0.7
Tomas Zeman <tomas@functionals.cz> [Thu, 13 May 2021 14:32:54 +0200] rev 47
fatags: 0.7-SNAPSHOT -> 0.7
(0) -30 -10 -2 tip