Dan 42e8e1f9b5 Remove emoji from docs, for now		2018-05-12 11:14:39 +02:00
..
source	Remove emoji from docs, for now	2018-05-12 11:14:39 +02:00
make.bat	Add documentation source files	2017-12-30 19:47:18 +01:00
Makefile	Add documentation source files	2017-12-30 19:47:18 +01:00