now packaged in the official repository #566

Merged
tgerczei merged 1 commits from master into master 2020-05-09 16:32:15 +02:00

1 Commits

Author SHA1 Message Date
Tamás Gérczei
70ce2f1f3c
now packaged in the official repository 2019-12-28 09:35:08 +01:00