From 573afd62d13fa606133fd3cac93f582d5304ef41 Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Sun, 11 Feb 2018 12:21:03 +0000
Subject: [PATCH] devkitA64 replaces devkitPSP

---
 config.sh.sample | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.sh.sample b/config.sh.sample
index 05d7117..e1262ac 100755
--- a/config.sh.sample
+++ b/config.sh.sample
@@ -9,7 +9,7 @@
 #   0: User selects manually
 #   1: devkitARM
 #   2: devkitPPC
-#   3: devkitPSP
+#   3: devkitA64
 #---------------------------------------------------------------------------------
 BUILD_DKPRO_PACKAGE=0