Wed, 10 Apr 2019 05:58:34 +0200 #DOCUMENTATION by cg
Claus Gittinger <cg@exept.de> [Wed, 10 Apr 2019 05:58:34 +0200] rev 24049
#DOCUMENTATION by cg class: Filename class comment/format in: #trashDirectoryOrNil
Thu, 04 Apr 2019 14:15:02 +0200 #QUALITY by stefan
Stefan Vogel <sv@exept.de> [Thu, 04 Apr 2019 14:15:02 +0200] rev 24048
#QUALITY by stefan class: ExternalLibraryFunction changed: #invokeFFIwithArguments:forInstance: thisContext restart -> thisContext methodHome restart
Thu, 04 Apr 2019 00:24:02 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Thu, 04 Apr 2019 00:24:02 +0200] rev 24047
*** empty log message ***
Wed, 03 Apr 2019 18:17:17 +0200 *** empty log message ***
Claus Gittinger <cg@exept.de> [Wed, 03 Apr 2019 18:17:17 +0200] rev 24046
*** empty log message ***
Wed, 03 Apr 2019 16:15:40 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Wed, 03 Apr 2019 16:15:40 +0200] rev 24045
#BUGFIX by cg class: ExternalStream changed: #flush always flush - even if unbuffered (required for stdout/stderr)
Wed, 03 Apr 2019 15:09:30 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Wed, 03 Apr 2019 15:09:30 +0200] rev 24044
#BUGFIX by cg class: ApplicationDefinition class changed: #make_dot_proto
Wed, 03 Apr 2019 13:57:19 +0200 compiler warnings
Claus Gittinger <cg@exept.de> [Wed, 03 Apr 2019 13:57:19 +0200] rev 24043
compiler warnings
Wed, 03 Apr 2019 12:39:02 +0200 #FEATURE by cg
Claus Gittinger <cg@exept.de> [Wed, 03 Apr 2019 12:39:02 +0200] rev 24042
#FEATURE by cg class: OrderedCollection added: #dropLast: similar to removeLast:, but does not return the removed elements.
Wed, 03 Apr 2019 10:09:30 +0200 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Wed, 03 Apr 2019 10:09:30 +0200] rev 24041
#UI_ENHANCEMENT by cg class: CharacterArray changed: #article
Tue, 02 Apr 2019 20:31:03 +0200 #BUGFIX by cg
Claus Gittinger <cg@exept.de> [Tue, 02 Apr 2019 20:31:03 +0200] rev 24040
#BUGFIX by cg class: UninterpretedBytes added: #isAllocated #isNull
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip