Nico Schottelius ff00df72ad Merge branch 'master' into no-dot-cdist		2015-03-05 11:08:49 +01:00
..
debug
logs	Merge branch 'master' into no-dot-cdist	2015-03-05 11:08:49 +01:00
todo	remove obsolete todos ... people believe they still need to be fixed!	2014-06-26 17:11:35 +02:00
benchmark-oprofile
benchmark-parallel-deploy
factsheet.odt	+factsheets	2014-01-07 23:14:07 +01:00
factsheet.pdf	+factsheets	2014-01-07 23:14:07 +01:00
fancy-ideas	transfert idea into the file in git tree, so we can close issue 286	2014-02-14 22:06:43 +01:00
git-post-commit-hook
header
lastchanges
show_all_exported_variables
sync-to-testhost