added camp document editor, see #24

This commit is contained in:
Jottyfan
2025-10-22 23:04:52 +02:00
parent 13773f54de
commit a1fc517911
16 changed files with 353 additions and 59 deletions

View File

@@ -1,4 +1,4 @@
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.targetPlatform=17
org.eclipse.jdt.core.compiler.compliance=17
org.eclipse.jdt.core.compiler.source=17
org.eclipse.jdt.core.compiler.codegen.targetPlatform=21
org.eclipse.jdt.core.compiler.compliance=21
org.eclipse.jdt.core.compiler.source=21