Geaaru d36bef4f79 [eit] Add --quick option to inject command

2018-03-26 23:55:29 +02:00

..

commands

[eit] Add --quick option to inject command

2018-03-26 23:55:29 +02:00

__init__.py

[eit] first chunk of code for the new server-side repository management toolkit (greatly inspired to git)

2011-10-17 11:26:40 +02:00

colorful.py

[eit.colorful] drop unused imports

2011-10-20 19:41:47 +02:00

main.py

[eit.main] use _exit() rather than SystemExit() exception.

2013-09-05 19:22:40 +02:00

utils.py

[eit.utils] use the public message header variable

2013-12-12 19:27:31 +01:00