Jan Dittberner 8ccedf5c71 change devdocs to Jessie		2015-02-20 22:19:07 +01:00
..
source	change devdocs to Jessie	2015-02-20 22:19:07 +01:00
.gitignore	use docs/build instead of docs/html	2013-02-24 22:25:23 +01:00