search

gap-packages / FactInt

FactInt -- Advanced Methods for [Fact]oring [Int]egers
https://gap-packages.github.io/FactInt/
GNU General Public License v2.0
4 stars 4 forks source link

makedoc.g: properly set LaTeX options #27

Closed fingolfin closed 6 months ago

codecov[bot] commented 6 months ago

Codecov Report

Merging #27 (204e29f) into master (615e66b) will not change coverage. The diff coverage is n/a.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #27 +/- ## ======================================= Coverage 99.64% 99.64% ======================================= Files 22 22 Lines 47013 47013 ======================================= Hits 46845 46845 Misses 168 168 ```