Deleting file 'docs/overrides/editor.html' with otterdog.

eclipse-texlipse · Oct 10, 2024 · 7e6c3d6 · 7e6c3d6
1 parent 08c3ab0
commit 7e6c3d6
Showing 1 changed file with 0 additions and 44 deletions.
diff --git a/docs/overrides/editor.html b/docs/overrides/editor.html