Merge branch 'master' into releases
[rocksndiamonds.git] / INSTALL
2014-08-30 Holger SchemelMerge branch 'master' into releases 1.2.0
2014-08-30 Holger Schemelrnd-19981205-2
2014-08-30 Holger Schemelrnd-19981120-1