« Previous | Next » 

Revision 878c42ae

ID878c42aed39f1ae9e89730b9d2cc23c3693c6729
Parent 1fdeb284
Child 42bd26e8

Added by Michael Hanselmann about 11 years ago

Rename constants and directory for restricted commands

As per Iustin Pop's suggestion in <> on
<>.

Signed-off-by: Michael Hanselmann <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences