Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Goffi 76065758df renamed tools.misc to tools.trigger		2015-03-19 19:44:37 +01:00
..
__init__.py	files reorganisation	2011-01-04 19:30:27 +01:00
config.py	core (config): fixed a bad option check	2014-10-16 20:10:08 +02:00
trigger.py	renamed tools.misc to tools.trigger	2015-03-19 19:44:37 +01:00
utils.py	core: use of Const for profile_key + replaced '@DEFAULT@' default profile_key by '@NONE@'	2014-03-21 16:27:09 +01:00
xml_tools.py	memory (params), tools (xml_tools), plugins, frontends: add "int" parameter type with "min" and "max" attributes	2014-10-03 12:27:43 +02:00