aboutsummaryrefslogtreecommitdiffstats
path: root/bin/spring
AgeCommit message (Expand)Author
2017-06-30deleted binstubs because of spring problems, added /bin to .gitignoreRobert
2017-06-16hotfix skip tests for eventual unauthorized reconnection; Refs: #3791Robert
2016-10-14merging issuesjpl
2015-01-15Fix tests and merge masterLuc Donnet