Daniel Egger beb5a3af41 Universalize the GitHub pages publishing scheme (#780) ... Added instructions on how to publish to <username>.github.io or <org>.github.io by changing the publishing branch in the repo to `master`. This should work for any type of GitHub publishing, including custom domains. Fixes #765		2019-08-24 19:06:07 +02:00
..
documentation	Universalize the GitHub pages publishing scheme (#780)	2019-08-24 19:06:07 +02:00
themes	Update all themes	2019-07-13 00:03:19 +02:00