metrics: replace is_user_defined() by is_standard()
[nit.git] / examples / drop_privileges.nit
2013-08-23 Alexis Laferrièreexamples: adds a use of the privileges module