Jan Dittberner 306edcd10b update ChangeLog, bump version for docs		2014-02-09 00:02:58 +01:00
..
source	update ChangeLog, bump version for docs	2014-02-09 00:02:58 +01:00
.gitignore	use docs/build instead of docs/html	2013-02-24 22:25:23 +01:00