aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/user-overlays/06923-ppedrot-export-options.sh
Commit message (Expand)AuthorAge
* Add an overlay for Equations and Ltac2.Gravatar Pierre-Marie Pédrot2018-03-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 16:10:18 +0000