Thu, 01 Aug 2024 11:46:28 +0200
Changed '__refresh()' method of the editor back to 'refresh()' because the previous change broke the refactoring plug-in.
10878
c9f329692cf0
Changed '__refresh()' method of the editor back to 'refresh()' because the previous change broke the refactoring plug-in.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
10877
diff
changeset
|
1 | (binary:application/octet-stream) |