commit d59c389dc35a5939aa9e36cca6af794bb7ef7ed5
author Zesstra <zesstra@zesstra.de> Thu Nov 28 20:53:39 2019 +0100
committer Zesstra <zesstra@zesstra.de> Tue Jan 21 11:09:14 2020 +0100
tree e29fe2ccf8320501841135c60bcba55af190cf4d
parent 01b2b746c216d4fcd81d7f7d887cbecc20892216

Update von efun-Manpages aus Driversourcen.

Aktualisiert manpages, welche wenig oder nicht vom
MG modifizier wurden.

Change-Id: If70b4fc27cfd38cb9e98cb48328a48731969a76f

doc/efun/object_time

diff --git a/doc/efun/object_time b/doc/efun/object_time
index db4d91c..3100dbc 100644
--- a/doc/efun/object_time
+++ b/doc/efun/object_time
@@ -1,6 +1,6 @@
 SYNOPSIS
-        int object_time();
-        int object_time(object ob);
+        int object_time()
+        int object_time(object ob)
 
 BESCHREIBUNG
         Liefert die Zeit, zu der das Objekt <ob> erstellt wurde. Wird <obj>