wip

2025-08-27 22:44:20 +02:00
parent a0c2bfa818
commit 44be048aa4
2120 changed files with 0 additions and 1266776 deletions
--- a/workspace/.metadata/.plugins/org.eclipse.help.ui/dialog_settings.xml
+++ b/workspace/.metadata/.plugins/org.eclipse.help.ui/dialog_settings.xml
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<section name="Workbench">
-</section>
--- a/workspace/.metadata/.plugins/org.eclipse.help.ui/scope_sets/Default.pref
+++ b/workspace/.metadata/.plugins/org.eclipse.help.ui/scope_sets/Default.pref
@@ -1,2 +0,0 @@
-#Sat Aug 16 18:13:55 CEST 2025
-__DEFAULT__=true
--- a/workspace/.metadata/.plugins/org.eclipse.help.ui/scope_sets/FILE_32_COMPARE.hist
+++ b/workspace/.metadata/.plugins/org.eclipse.help.ui/scope_sets/FILE_32_COMPARE.hist
@@ -1,4 +0,0 @@
-#Sat Aug 16 18:14:01 CEST 2025
-__DEFAULT__=false
-expression=FILE COMPARE
-org.eclipse.help.ui.localSearch.master=true