tree 4dfbf0e829b9befad66bbdd4c71dafba8b7406fc
parent 628186ce44f5953aa70ded73e5c63607cac0197b
author Stephan Eberle <stephaneberle9@gmail.com> 1572156146 +0100
committer Stephan Eberle <stephaneberle9@gmail.com> 1572156146 +0100

Refined guards enabling Sphinx to be used when an OSGi runtime is
available but no Eclipse workspace is present