Magiertools auf secure_thing umgestellt.
Magiertools sollten nicht das /std/thing erben, was zuviele
Dinge auswertet (process_string etc.), die Leute in die
Props reinschreiben und dann im Zweifelsfall mit einer
EM+-UID ausgewertet werden.
Change-Id: I91f6349441d9977cf30de30581700b651176f312
diff --git a/obj/tools/ptool.c b/obj/tools/ptool.c
index c836cae..98ffd8f 100644
--- a/obj/tools/ptool.c
+++ b/obj/tools/ptool.c
@@ -7,7 +7,7 @@
#include <properties.h>
#include <language.h>
-inherit "std/thing";
+inherit "/std/secure_thing";
int dump();