Sun, 03 Jun 2018 14:03:19 +0200 | Detlev Offenbach | Git: added capability to change the URL and/or user credentials for a remote repository. | file | diff | annotate |
Fri, 05 May 2017 19:07:43 +0200 | Detlev Offenbach | Regenerated source docu. | file | diff | annotate |
Thu, 23 Apr 2015 20:11:44 +0200 | Detlev Offenbach | Fixed a few coding style issues. | file | diff | annotate |
Thu, 23 Apr 2015 20:05:38 +0200 | Detlev Offenbach | Fixed an issue in the batch checker cancel function leading to the function not working if the background jobs had finished already. | file | diff | annotate |
Sat, 18 Apr 2015 19:14:57 +0200 | Detlev Offenbach | Regenerated source docu. | file | diff | annotate |
Thu, 16 Apr 2015 19:58:27 +0200 | Detlev Offenbach | Added a batch mode to the code style checker to make use of multiple CPUs/CPU-Cores. | file | diff | annotate |
Sat, 05 Jul 2014 12:29:15 +0200 | Detlev Offenbach | Generated source docu. | file | diff | annotate |