Skip to content
Snippets Groups Projects

Merge branch 'minted-build' into 'master'

Merged Merge branch 'minted-build' into 'master'
cherry-pick-3d1b5105 into releases/2.7
Merged Dominic Kempf requested to merge cherry-pick-3d1b5105 into releases/2.7

Update UseLatexMk and fix minted+standalone build

See merge request !81 (merged)

(cherry picked from commit 3d1b5105)

2d280206 Update UseLatexMk and fix minted+standalone build

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply