From acd8fc77ca9ba38f6a41735bc6e7ebb044a56349 Mon Sep 17 00:00:00 2001
From: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Date: Wed, 7 Dec 2022 15:13:38 -0500
Subject: [PATCH] tools: remove unnecessary clean.sh

---
 tools/clean.sh | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 tools/clean.sh

diff --git a/tools/clean.sh b/tools/clean.sh
deleted file mode 100755
index 4a1a0732..00000000
--- a/tools/clean.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-
-cd "$(dirname "$0")/.."
-
-find . -type f -name '*.py[co]' -delete
-find . -type d -name '__pycache__' -delete
-
-/bin/rm --force po/*~
-/bin/rm --force --recursive share/locale/