mirror of
https://github.com/gbdev/rgbds.git
synced 2025-11-22 11:12:07 +00:00
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 <larrowe.semaj11@gmail.com>
4.9 KiB
4.9 KiB