Dan 024e3852f7 Don't rely on git for GitHub installations ...

Instead, let people install from zips GitHub already provides.

2018-12-31 13:22:14 +01:00

..

source

Don't rely on git for GitHub installations

2018-12-31 13:22:14 +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