Merge: lib/opts: accept non-conflicting parameters for OptionString and rename get_er...
[nit.git] / lib / privileges / examples /
drwxr-xr-x   ..
-rw-r--r-- 1332 drop_privileges.nit