Repository navigation

_elementsources.py: Don't follow symlinks in `init_workspace()` - #2205

Open

juergbi wants to merge 1 commit into

jbilleter/workspace

Open

_elementsources.py: Don't follow symlinks in `init_workspace()`#2205
juergbi wants to merge 1 commit into
masterfrom
jbilleter/workspace

Commits on Oct 16, 2026
- _elementsources.py: Don't follow symlinks in `init_workspace()`
  juergbi
  committed
  2d1378e