Merge remote branch 'origin/master' into wosch
[mkws-moved-to-github.git] / doc / library-configuration.txt
2014-04-14 Mike TaylorNew