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/efun/interactive

diff --git a/doc/efun/interactive b/doc/efun/interactive
new file mode 100644
index 0000000..c326f8a
--- /dev/null
+++ b/doc/efun/interactive
@@ -0,0 +1,10 @@
+SYNOPSIS
+        int interactive(object obj);
+
+BESCHREIBUNG
+        Liefert 1 zurueck, wenn <obj> ein interaktiver User (ein Spieler)
+        ist. Wird <obj> weggelassen, dann wird this_object() verwendet.
+
+SIEHE AUCH
+        query_once_interactive(E), query_ip_number(E), query_ip_name(E),
+        query_idle(E)