Skip to content

Commit

Permalink
Remove executable bit from namedef.dtx
Browse files Browse the repository at this point in the history
  • Loading branch information
@PhelypeOleinik
PhelypeOleinik committed Jun 20, 2020
1 parent 41a3a25 commit e6b9360
Showing 1 changed file with 0 additions and 0 deletions.
Empty file modified namedef.dtx
100755 → 100644
View file
Empty file.

0 comments on commit e6b9360

Please sign in to comment.