sharkdp 050fa9c3b1 Fix file owner in deb package, closes #213 ... Also, fix a few lintian warnings / errors.		2018-01-04 19:48:59 +01:00
..
before_deploy.bash	Fix file owner in deb package, closes #213	2018-01-04 19:48:59 +01:00