Mislav Marohnić 0d999ddaa1 Rework local extensions for Windows ... Replace the implementation that relied on symlinks with the one that create regular files that act like symlinks: they contain a reference to the local directory where to find the extension.		2021-07-28 22:47:54 +02:00
..
gen-docs	Add tests for manual pages generation	2021-03-30 20:47:25 +02:00
gh	Rework local extensions for Windows	2021-07-28 22:47:54 +02:00