Skip to content

Commit

Permalink
Ease-of-use: mak-doc.pl executable
Browse files Browse the repository at this point in the history
- it needs an option to skip changed that *only* change the date
  • Loading branch information
Tux committed Aug 19, 2024
1 parent cf3be4e commit b1507f5
Showing 1 changed file with 0 additions and 0 deletions.
Empty file modified make-doc.pl
100644 → 100755
Empty file.

0 comments on commit b1507f5

Please sign in to comment.