Nov 3, 2017
Release version 2.4.0
Nov 3, 2017
Deleted historic branch
Nov 3, 2017
Deleted historic branch
Nov 3, 2017
Deleted historic branch
Nov 3, 2017
Deleted historic branch
Nov 3, 2017
Deleted historic branch
Nov 3, 2017
Deleted historic branch
Feb 17, 2016
tagged release-2.3.7
Oct 21, 2013
tagged release-2.3.6
Jan 7, 2013
updated release 2.3.5: added a new web settings file with latest defa…
…ults, added tests to check results for the various settings files