Dan 66ed6d53e3 Merge branch 'smart-plugins-enhancements' into develop		2019-01-25 09:22:06 +01:00
..
source	Merge branch 'smart-plugins-enhancements' into develop	2019-01-25 09:22:06 +01:00
make.bat	Add documentation source files	2017-12-30 19:47:18 +01:00
Makefile	Restore original Makefile	2018-09-05 16:41:46 +02:00