From bd9c326d2f58ed64bb11734c9a50c98cc81213b9 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Wed, 13 Jun 2018 18:46:11 +0100
Subject: [PATCH] building devkitPPC r31

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

diff --git a/build-devkit.sh b/build-devkit.sh
index 7667683..6b13993 100755
--- a/build-devkit.sh
+++ b/build-devkit.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 #---------------------------------------------------------------------------------
 #	devkitARM release 49
-#	devkitPPC release 30
+#	devkitPPC release 31
 #	devkitA64 release 10
 #---------------------------------------------------------------------------------