-
Kostas Papadimitriou authored
New option ``--delete`` to permanently delete a user entry. New option ``--set-email`` to change user's email address.
ea2e6d93
user-modify.py 14.44 KiB
New option ``--delete`` to permanently delete a user entry. New option ``--set-email`` to change user's email address.