wip

2025-08-25 21:07:59 +02:00
parent 2f417e0acd
commit 6806d8485f
2221 changed files with 1285722 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