commit 88f12479d30902b0d2c05be41901c96b92a88a77
author MG Mud User <mud@mg.mud.de> Fri Jun 24 23:31:02 2016 +0200
committer MG Mud User <mud@mg.mud.de> Fri Jun 24 23:32:04 2016 +0200
tree 7a8a34c3e3c1f55780ee8420a7a59c984ee0e399

Added public files

Roughly added all public files. Probably missed some, though.

doc/props/P_INTERMUD

diff --git a/doc/props/P_INTERMUD b/doc/props/P_INTERMUD
new file mode 100644
index 0000000..6d4bd59
--- /dev/null
+++ b/doc/props/P_INTERMUD
@@ -0,0 +1,13 @@
+NAME:
+    P_INTERMUD                    "intermud"                    
+
+DEFINIERT IN:
+    /sys/player/comm.h
+
+BESCHREIBUNG:
+   Die Bedeutung dieser Property ist in den praehistorischen Untiefen
+   der Mudlib verlorengegangen.
+   Wird nicht mehr benutzt.
+   Nicht benutzen.
+   Ignorieren.
+