push version for last commit

version is defined in a comment in standard/Module1 macro
slowphil · Dec 17, 2021 · 720250a · 720250a
1 parent ba0b5b2
commit 720250a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/SVG_and_Texmacs.odt b/SVG_and_Texmacs.odt