Fix Windows path separator handling - #224

Fix Windows path separator handling#224

hoklims wants to merge 1 commit into

sourcegraph:scipsourcegraph/scip-python:scipfrom

hoklims:agent/fix-windows-path-separatorhoklims/scip-python:agent/fix-windows-path-separatorCopy head branch name to clipboard