main #5

Merged
marko merged 2 commits from main into dev 2022-03-10 08:44:09 +00:00

2 Commits

Author SHA1 Message Date
4c59c001df fix unballanced <ul> on german commandref
fix SVN id

[Ticket: no]
2022-03-10 09:42:19 +01:00
40a01c347c Merge pull request 'dev' (#4) from dev into main
Reviewed-on: #4
2022-03-10 08:50:29 +01:00