Emmanuel Garette dcc7510676 add --pop-leader to remove a value in a leader option		2024-07-30 11:41:47 +02:00
..
__init__.py	use gettext	2024-07-30 11:41:46 +02:00
api.py	add --pop-leader to remove a value in a leader option	2024-07-30 11:41:47 +02:00