From 46989bb607033ff5ebed277fb7a420ac8f25bcb2 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Sat, 21 Nov 2015 13:52:21 +0000
Subject: [PATCH] grit update

---
 build-devkit.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-devkit.sh b/build-devkit.sh
index 6b476de..59184ed 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -38,7 +38,7 @@ PSPSDK_VER=20120404
 GBATOOLS_VER=1.0.0
 DSTOOLS_VER=1.0.2
 GP32_TOOLS_VER=1.0.1
-GRIT_VER=0.8.12
+GRIT_VER=0.8.13
 NDSTOOL_VER=1.50.3
 GENERAL_TOOLS_VER=1.0.0
 DLDITOOL_VER=1.24.0