Wed, 27 May 2020 08:44:12 +0200 branch merge
Tomas Zeman <tomas@functionals.cz> [Wed, 27 May 2020 08:44:12 +0200] rev 4
branch merge
Tue, 26 May 2020 22:27:51 +0200 hgeditor package
Tomas Zeman <tomas@functionals.cz> [Tue, 26 May 2020 22:27:51 +0200] rev 3
hgeditor package
Tue, 26 May 2020 21:54:45 +0200 enableAutojump
Tomas Zeman <tomas@functionals.cz> [Tue, 26 May 2020 21:54:45 +0200] rev 2
enableAutojump
(0) -3 +3 +10 tip