Minor changes or corrections in MiniPath

This commit is contained in:
Pairi Daiza 2018-09-28 18:18:42 +02:00
parent 89cb9fd804
commit 99d55f87fc
3 changed files with 0 additions and 0 deletions