lowercasing filenames, part1; makefile adjustments
[picodrive.git] / platform / gizmondo / menu.c
index 50de347..edd7ef0 100644 (file)
@@ -26,8 +26,8 @@
 #include "../common/readpng.h"\r
 #include "version.h"\r
 \r
-#include <Pico/PicoInt.h>\r
-#include <Pico/Patch.h>\r
+#include <pico/pico_int.h>\r
+#include <pico/patch.h>\r
 #include <zlib/zlib.h>\r
 \r
 \r