Anders Ingemann 38715df6e9 Remove "device" from base manifest-schema ... What is it? It's not used anywhere?		2013-08-17 16:04:20 +02:00
..
__init__.py	Task dependencies, bogus implementation	2013-07-08 23:13:59 +02:00
bootstrapinfo.py	Create unique identifier in BootstrapInformation	2013-07-13 15:12:46 +02:00
log.py	Relative timestamp in logfile	2013-07-08 23:14:02 +02:00
main.py	Add log message to indicate a successful completion of all tasks	2013-07-08 23:14:08 +02:00
manifest-schema.json	Remove "device" from base manifest-schema	2013-08-17 16:04:20 +02:00
manifest.py	Fix error when plugins key was not present	2013-08-11 18:05:54 +02:00
minify_json.py	Allow comments in manifest files	2013-07-08 23:13:59 +02:00
phase.py	Better error message on task order errors	2013-08-11 18:25:05 +02:00
task.py	Better error message on task order errors	2013-08-11 18:25:05 +02:00
tasklist.py	make tasklist.remove() behave like discard()	2013-07-08 23:14:03 +02:00