Repository navigation
Prevent Makefile from being renamed to Makefile.make during save - #2105
Merged
thecoolwinter merged 1 commit intoAug 25, 2025
Merged
Commits
Commits on Aug 22, 2025