Revision 50b0551612428c7ffb3ca9ac3a6047ae26712f69 authored by Mohamed Barakat on 28 February 2023, 09:56:25 UTC, committed by GitHub on 28 February 2023, 09:56:25 UTC
Apply PackageJanitor
.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/*.xml
/doc_tmp/
/stats
/tst/toolsforhomalg*.tst
Computing file changes ...
