3 Commits (8405f0ee5366ff2b1b80e5387169f59d3adbde26)

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