Revision 988556d3cb02429c1af91373f3a357bf8461eda5 authored by Mohamed Barakat on 15 March 2022, 14:08:59 UTC, committed by GitHub on 15 March 2022, 14:08:59 UTC
don't issue a warning if `utils` is not loaded
.gitignore
/doc/chap*.html
/doc/chap*.txt
/doc/*.css
/doc/*.js
/doc/chooser.html
/doc/*.aux
/doc/*.bbl
/doc/*.blg
/doc/*.brf
/doc/*.idx
/doc/*.ilg
/doc/*.ind
/doc/*.lab
/doc/*.log
/doc/*.out
/doc/*.pnr
/doc/*.six
/doc/*.tex
/doc/*.toc
/doc/manual.pdf
/doc/_*.xml
/bin/
/gen/
/Makefile
/tmp/
/gh-pages/
/coverage.json
/doc/title.xml
/doc_tmp/
/stats
/tst/gradedringforhomalg*.tst
Computing file changes ...
