Skip to content

Fix for issue #95 in extension.js#101

Merged
dhuebner merged 1 commit intoTypeFox:masterfrom
MarvinX:master
Feb 10, 2025
Merged

Fix for issue #95 in extension.js#101
dhuebner merged 1 commit intoTypeFox:masterfrom
MarvinX:master