| commit | 88f12479d30902b0d2c05be41901c96b92a88a77 | [log] [tgz] |
|---|---|---|
| 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.
diff --git a/doc/efun/users b/doc/efun/users new file mode 100644 index 0000000..48b4ae3 --- /dev/null +++ b/doc/efun/users
@@ -0,0 +1,5 @@ +SYNOPSIS + *object users(); + +BESCHREIBUNG + Liefert ein Array, das alle interaktiven Benutzer enthaelt.