From 04e1831d027e146ea108f51bdaa4c4d2ce25b973 Mon Sep 17 00:00:00 2001
From: Andreas Zweili <andreas@zweili.ch>
Date: Tue, 18 Jul 2023 20:44:01 +0200
Subject: [PATCH] Replace cleanall with git clean -xdf

---
 dev.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/dev.sh b/dev.sh
index 6ceaf9c..9502f69 100755
--- a/dev.sh
+++ b/dev.sh
@@ -55,8 +55,7 @@ clean () {
 }
 
 cleanall () {
-    clean
-    rm -rf .venv .direnv/
+    git clean -xdf
 }
 
 init () {