minor optimisation
authorPaul Hänsch <paul@plutz.net>
Mon, 16 Jul 2018 10:21:13 +0000 (12:21 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 16 Jul 2018 10:21:13 +0000 (12:21 +0200)
commit55052a16e5c2792b25c90b8aea0e3daea06b533a
treea6258ddd9c26c58e208bf5c69d9fa647a156a4bd
parent318867de22a49dc1e348cc1173ee4cdeb977d7b1
minor optimisation
file.sh