wip

2025-08-27 23:29:38 +02:00
parent 44be048aa4
commit 53391bffc6
2120 changed files with 1266776 additions and 0 deletions
--- a/workspace/.metadata/.plugins/org.eclipse.help.ui/dialog_settings.xml
+++ b/workspace/.metadata/.plugins/org.eclipse.help.ui/dialog_settings.xml
@@ -0,0 +1,3 @@
+<?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
@@ -0,0 +1,2 @@
+#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
@@ -0,0 +1,4 @@
+#Sat Aug 16 18:14:01 CEST 2025
+__DEFAULT__=false
+expression=FILE COMPARE
+org.eclipse.help.ui.localSearch.master=true