allow override of file type
authorPaul Hänsch <paul@plutz.net>
Sun, 22 Jul 2018 13:26:41 +0000 (15:26 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 22 Jul 2018 13:26:41 +0000 (15:26 +0200)
commitb7003c3323ad0881d744f491c77e2de234545a7c
treea8363e7a0dfee0c426028125b648714355a7f7bf
parentec06ef45d19a1a76462e5f871e0c40ce6c5b4f4e
allow override of file type
file.sh