use dash instead of sh
authorfpunktk <git@fpunktk.de>
Sat, 30 Dec 2017 11:21:20 +0000 (12:21 +0100)
committerfpunktk <git@fpunktk.de>
Sat, 30 Dec 2017 11:21:20 +0000 (12:21 +0100)
commitea27baaae730d7462ed77f3a683d72f0553076cb
tree5c2ecfd99f7e4fabd8f5c76e7fa4e6e47b41770a
parent0f76364c2c59b597c6081f09d5255ec2c3aa3473
use dash instead of sh
anondcim