-
Robert Ricci authored
name of the script, and the name of the user who ran it, in the form "script:user" . Should be useful for accounting.
a7cf2831
name of the script, and the name of the user who ran it, in the form "script:user" . Should be useful for accounting.