Jenkins 1504f87f9b Merge "Change 'Edit Rules' to 'Manage Rules'"		2015-08-27 17:43:10 +00:00
..
source	Merge "Change 'Edit Rules' to 'Manage Rules'"	2015-08-27 17:43:10 +00:00
setup.cfg	Move User Guides into separate directories	2015-05-12 11:56:08 +02:00
setup.py	Move User Guides into separate directories	2015-05-12 11:56:08 +02:00