Michael Raitza a6cddcfe93 factor-lang: 0.100 -> 0.101 ...

Fixes issues with the help browser by copying vocabulary roots instead
of symlinking them.  Although, I am convinced that this is an issue that
should be fixed upstream, eventually.

Fixes #469242
Fixes #474869

2026-01-09 13:20:10 +01:00

367 B

Raw Permalink Blame History

View Raw