Drop unnecessary executable flag. #1
Merged
SlavekB
merged 1 commits from drop/remove-exe-flag
into master
6 years ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'drop/remove-exe-flag'
Deleting a branch is permanent. It CANNOT be undone. Continue?
Slavek, please push since I don't have permit for this repo.
Merged and pushed upstream.
thanks
5e6c5bc28c
.