Wed, 10 Apr 2024 10:45:31 +0200
Added a method to get the last modification time to the Editor class.
10678
665f1084ebf9
Added a method to get the last modification time to the Editor class.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
10677
diff
changeset
|
1 | (binary:application/octet-stream) |