Skip to content

Left-side equations are indexed as well and can be smart-jumped to#783

Open
leonardBusch wants to merge 5 commits into
ahrm:mainfrom
leonardBusch:main
Open

Left-side equations are indexed as well and can be smart-jumped to#783
leonardBusch wants to merge 5 commits into
ahrm:mainfrom
leonardBusch:main

Merge pull request #2 from ahrm/main

0751204
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs