Fri, 08 Apr 2016 12:17:55 +0200 c files also depend on headers
Claus Gittinger <cg@exept.de> [Fri, 08 Apr 2016 12:17:55 +0200] rev 16274
c files also depend on headers
Fri, 08 Apr 2016 12:17:49 +0200 c files also depend on headers
Claus Gittinger <cg@exept.de> [Fri, 08 Apr 2016 12:17:49 +0200] rev 16273
c files also depend on headers
Fri, 08 Apr 2016 12:17:48 +0200 c files also depend on headers
Claus Gittinger <cg@exept.de> [Fri, 08 Apr 2016 12:17:48 +0200] rev 16272
c files also depend on headers
Fri, 08 Apr 2016 12:17:46 +0200 c files also depend on headers
Claus Gittinger <cg@exept.de> [Fri, 08 Apr 2016 12:17:46 +0200] rev 16271
c files also depend on headers
Fri, 08 Apr 2016 12:17:43 +0200 c files also depend on headers
Claus Gittinger <cg@exept.de> [Fri, 08 Apr 2016 12:17:43 +0200] rev 16270
c files also depend on headers
Fri, 08 Apr 2016 07:03:18 +0100 Merge jv
Jan Vrany <jan.vrany@fit.cvut.cz> [Fri, 08 Apr 2016 07:03:18 +0100] rev 16269
Merge
Mon, 04 Apr 2016 07:09:38 +0100 Merge jv
Jan Vrany <jan.vrany@fit.cvut.cz> [Mon, 04 Apr 2016 07:09:38 +0100] rev 16268
Merge
Thu, 07 Apr 2016 19:46:09 +0200 #UI_ENHANCEMENT by cg
Claus Gittinger <cg@exept.de> [Thu, 07 Apr 2016 19:46:09 +0200] rev 16267
#UI_ENHANCEMENT by cg class: Tools::NewSystemBrowser changed: #projectMenuFileOutBuildSupportFilesForProject: keep a save copy of generated build files
Thu, 07 Apr 2016 15:03:21 +0200 #REFACTORING by mawalch
mawalch [Thu, 07 Apr 2016 15:03:21 +0200] rev 16266
#REFACTORING by mawalch class: ProjectView changed: #projectNameSpace (send #allNameSpaces instead of #allNamespaces, send #isTopLevelNameSpace instead of #isTopLevelNamespace)
Wed, 06 Apr 2016 14:20:43 +0200 #BUGFIX by stefan
Stefan Vogel <sv@exept.de> [Wed, 06 Apr 2016 14:20:43 +0200] rev 16265
#BUGFIX by stefan class: FileDialog changed: #requestFileName:default:ok:abort:version:ifFail:pattern:fromDirectory:whenBoxCreatedEvaluate:asLoadDialog: do not prepend directory to http[s] urls (needed for expecco WSDL plugin)
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip