From f71ad662d1d2de0897a8a891a217135b4fb44300 Mon Sep 17 00:00:00 2001
From: Ryan Kurtz <ryanmkurtz@users.noreply.github.com>
Date: Mon, 21 Jul 2025 07:04:14 -0400
Subject: [PATCH] GP-0: Adding "gradle clean" to DevGuide.md

---
 DevGuide.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/DevGuide.md b/DevGuide.md
index ef7fbad7a6..ed46d21d14 100644
--- a/DevGuide.md
+++ b/DevGuide.md
@@ -41,6 +41,12 @@ will be stored at `$HOME/.gradle/`.
 gradle prepdev
 ```
 
+Clean up repository build files.  In rare circumstances this may be necessary after a `git pull` to
+fix unexplainable compilation errors.
+```
+gradle clean
+```
+
 Generate nested Eclipse project files which can then be imported into Eclipse as "existing 
 projects".
 ```