Yuming Zhu bc4beeae0b cli: extend edit-external-repo to support change of priority and merge mode		2020-03-25 13:39:30 +01:00
..
__init__.py	apply split	2017-06-13 11:20:38 +02:00
commands.py	cli: extend edit-external-repo to support change of priority and merge mode	2020-03-25 13:39:30 +01:00
lib.py	use only gssapi_login in CLI	2020-03-09 15:13:36 +01:00
Makefile	improve test and clean targets in Makefiles	2019-11-27 15:42:30 +01:00