Skip to content
Build docs

Fix basic case of false positive of duplicate label inspection when user defined \if commands are used #514

Sign in to view logs

Fix basic case of false positive of duplicate label inspection when user defined \if commands are used

Fix basic case of false positive of duplicate label inspection when user defined \if commands are used #514

test

test
succeeded Nov 20, 2024 in 18s