Closed fritjof-b closed 1 year ago
grep "literal" **/*.tex in root-dir now only shows correct usages.
grep "literal" **/*.tex
fixes #717
grep "literal" **/*.tex
in root-dir now only shows correct usages.