export_uid() existiert nicht mehr.
Change-Id: Id0c7a46a93cfdd14ae54929ee8ca7b62bb026b57
diff --git a/doc/efun/export_uid b/doc/obsolete/export_uid
similarity index 88%
rename from doc/efun/export_uid
rename to doc/obsolete/export_uid
index 5b1f6a3..2c4ed88 100644
--- a/doc/efun/export_uid
+++ b/doc/obsolete/export_uid
@@ -5,8 +5,6 @@
Set the uid of object ob to the current object's effective uid.
It is only possible when object ob has an effective uid of 0.
- This efun is not available in Morgengrauen.
-
HISTORY
Since 3.2.1@47, this efun is availabe only when using euids.
Since 3.2.7, this efun is always available.