Skip to content
Permalink
Browse files

Make install-dist.pl executable

Noticed it in lintian warnings. I'd say it is especially important
given that it has .pl extension.
  • Loading branch information...
AlexDaniel committed Jul 15, 2018
1 parent 0a32c62 commit 07b4100ce003ba2f661dfcdad109b2db381758b1
Showing with 0 additions and 0 deletions.
  1. 0 tools/install-dist.pl
0 tools/install-dist.pl 100644 → 100755
No changes.

0 comments on commit 07b4100

Please sign in to comment.
You can’t perform that action at this time.