Skip to content
Snippets Groups Projects
Select Git revision
  • 6391bf19f9c11a1503ba3e77124af9f54a1c55ea
  • master default
2 results

version.tex

Blame
  • Dmytro Bogatov's avatar
    Dmytro Bogatov authored
    278cb20a
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    version.tex 37 B
    \providecommand{\version}{local-dev}