From 0354217de7dba78d72c3b594ab2771c4d76d19a6 Mon Sep 17 00:00:00 2001
From: Matthew Kennedy <matthewkennedy@outlook.com>
Date: Sat, 25 Nov 2023 00:39:38 -0800
Subject: [PATCH] missed a file

---
 java_tools/.idea/gradle.xml | 1 -
 java_tools/settings.gradle  | 2 --
 2 files changed, 3 deletions(-)

diff --git a/java_tools/.idea/gradle.xml b/java_tools/.idea/gradle.xml
index 84a62267fd..e7c3f04da0 100644
--- a/java_tools/.idea/gradle.xml
+++ b/java_tools/.idea/gradle.xml
@@ -23,7 +23,6 @@
             <option value="$PROJECT_DIR$/../java_console/shared_ui" />
             <option value="$PROJECT_DIR$/../java_console/ui" />
             <option value="$PROJECT_DIR$" />
-            <option value="$PROJECT_DIR$/bin2header" />
             <option value="$PROJECT_DIR$/configuration_definition" />
             <option value="$PROJECT_DIR$/configuration_definition_base" />
             <option value="$PROJECT_DIR$/enum_to_string" />
diff --git a/java_tools/settings.gradle b/java_tools/settings.gradle
index ab3449ce84..498570949a 100644
--- a/java_tools/settings.gradle
+++ b/java_tools/settings.gradle
@@ -6,8 +6,6 @@ include ':logging-api'
 project(':logging-api').projectDir = new File('../java_console/logging-api')
 include ':enum_to_string'
 project(':enum_to_string').projectDir = new File('enum_to_string')
-include ':bin2header'
-project(':bin2header').projectDir = new File('bin2header')
 include ':config_definition_base'
 project(':config_definition_base').projectDir = new File('configuration_definition_base')
 include ':config_definition'