Merge branch 'minted-build' into 'master' (!82) · Merge requests · PDELab / dune-pdelab-tutorials

Merged Dominic Kempf requested to merge cherry-pick-3d1b5105 into releases/2.7 4 years ago

Feb 04, 2021

Merge branch 'minted-build' into 'master' · 88553bd4

Dominic Kempf authored 4 years ago

Update UseLatexMk and fix minted+standalone build

See merge request !81

(cherry picked from commit 3d1b5105)

2d280206 Update UseLatexMk and fix minted+standalone build

88553bd4

Merge branch 'minted-build' into 'master'

Merge request reports

Activity