Richard van der Hoff d74595e2ca Merge branch 'master' into develop		2019-07-26 12:39:33 +01:00
..
.gitignore	…
5678.removal	…
5694.misc	…
5695.misc	…
5706.misc	…
5713.misc	…
5715.misc	…
5717.misc	…
5719.misc	…
5720.misc	…
5722.misc	…
5724.bugfix	…
5725.bugfix	…
5729.removal	…
5730.misc	…
5731.misc	…
5732.feature	…
5733.misc	…
5736.misc	…
5738.misc	…
5740.misc	…
5743.bugfix	…
5749.misc	…
5750.misc	…
5753.misc	…
5768.misc	…