Thu, 23 Feb 2023 12:04:28 +0100
Prepared the editor to save non-local files and reset the change markers from external.
9790
6b14962d9d31
Prepared the editor to save non-local files and reset the change markers from external.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
9785
diff
changeset
|
1 | (binary:application/octet-stream) |