gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-20 10:12:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

A few miscellaneous edits

Browse Source
This commit is contained in:
Rangi42
2025-07-10 00:33:03 -04:00
parent a40109e4e4
commit 276a200590
3 changed files with 9 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
contrib/checkformat.bash
View File

@@ -11,5 +11,5 @@ if ! git diff-index --quiet HEAD --; then
git diff-index --name-only HEAD --
echo
git diff HEAD --
return 1
exit 1
fi