Han Kruiger 4e8093c589 Fix mistake in Sorting Subsections documentation		2019-06-16 12:31:48 +02:00
..
documentation	Fix mistake in Sorting Subsections documentation	2019-06-16 12:31:48 +02:00
themes	bump version in deployment docs (#680)	2019-05-07 16:17:47 +02:00