mirror of
https://github.com/gbdev/rgbds.git
synced 2026-10-20 19:12:02 +00:00
Use more conventional permissions and man-page directory
As 444 and 555 seem to be used for no apparent reason, use the more conventional 644 and 755. /man is typically unused or a symlink to /share/man now, so just use /share/man. Signed-off-by: JL2210 <[email protected]>
This commit is contained in:
1 parent
153915dc2f
commit
1e3ce2a36f
2 files changed
+6
-6
No files matched your search
Reference in new issue
Block a user