Consolidation of translations (corrections, aggregating same terms, ...)#202
Merged
krulis-martin merged 3 commits intomasterfrom Mar 20, 2018
Merged
Consolidation of translations (corrections, aggregating same terms, ...)#202krulis-martin merged 3 commits intomasterfrom
krulis-martin merged 3 commits intomasterfrom
Commits
Commits on Mar 17, 2018
- committed
Martin Krulis - committed
Martin Krulis
Commits on Mar 20, 2018
- committed
Martin Krulis