Skip to content

XGID <-> GNU position id converter - #147

Merged
nodots merged 3 commits into
developmentfrom
feat/xgid-converter
Jul 30, 2026
Merged

nodots merged 3 commits into
developmentfrom
feat/xgid-converter

XGID: rename the 'berger' dialect to 'bgblitz'

80dec0d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar