606 Commits

Author	SHA1	Message	Date
Simon Binder	4a40796c90	Use github pygments theme	2019-04-06 13:22:49 +02:00
Simon Binder	f28eb13b4c	Fix hashcodes, document joins	2019-04-06 13:11:49 +02:00
Simon Binder	ab5ac57778	Use jenkins hash	2019-04-05 17:47:51 +02:00
Simon Binder	e6cb45d680	Change documentation host	2019-04-03 21:24:01 +02:00
Simon Binder	dec4558236	More documentation	2019-04-02 22:06:41 +02:00
Simon Binder	cc46cd9a5b	GitHub Pages with jekyll	2019-04-02 19:26:48 +02:00