Mercurial > dive4elements > river
diff artifacts/bin/run.sh @ 9045:0ddeeb413fae
Minor cleanup
author | gernotbelger |
---|---|
date | Thu, 03 May 2018 10:16:36 +0200 |
parents | 522c46c53861 |
children | 654aaa0d7576 |
author | gernotbelger |
---|---|
date | Thu, 03 May 2018 10:16:36 +0200 |
parents | 522c46c53861 |
children | 654aaa0d7576 |