NOSUBAUTOLOAD
author Claus Gittinger <cg@exept.de>
Sat, 13 Jul 2019 16:02:10 +0200
changeset 18898 e786d72d82ef
parent 14553 beedeaa0575d
permissions -rw-r--r--
#BUGFIX by cg class: WorkspaceApplication changed: #bookmarkMenu
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines: