Skip to content

move Taclet options of WD from key.core to key.core.wd#3783

Merged
wadoon merged 1 commit into
mainfrom
weigl/movewddecls
Mar 24, 2026
Merged

move Taclet options of WD from key.core to key.core.wd#3783
wadoon merged 1 commit into
mainfrom
weigl/movewddecls

move Taclet options of WD from key.core to key.core.wd

e4cfeba
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar