From fde7d46cd0c75e61871a4c194ae94d4baa8b9130 Mon Sep 17 00:00:00 2001
From: gauthiier <d@gauthiier.info>
Date: Fri, 10 Dec 2021 13:57:36 +0100
Subject: [PATCH] setenv minor changes (bis)

---
 setenv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setenv b/setenv
index 73df221..93165fe 100755
--- a/setenv
+++ b/setenv
@@ -24,7 +24,7 @@ then
 		echo "Pip installing pppadump"
 		if [ ! "$(pip install -e pppadump/)" ]
 		then
-			echo "pppadum doesn't seem to be fetched yet. Run the following git command to do so (and run setenv again):"
+			echo "pppadump doesn't seem to be fetched yet. Run the following git command to do so (and run setenv again):"
 			echo "> git submodule update --init --recursive"
 			return
 		else