Emmanuel Garette 4e2c37822c add --pop-leader to remove a value in a leader option		2019-07-27 18:51:16 +02:00
..
__init__.py	use gettext	2019-04-09 07:28:11 +02:00
api.py	add --pop-leader to remove a value in a leader option	2019-07-27 18:51:16 +02:00