3 commits

Author	SHA1	Message	Date
Andre Vallestero	2b4bacaa10	Fixed infernojs url	2020-01-22 10:35:09 -05:00
Dessalines	f71d19729a	Adding some fixes to new docs system.	2020-01-01 17:47:00 -05:00
Felix Ableitner	af83ec951f	Use mdbook for documentation (fixes #375)	2020-01-01 17:24:36 +01:00