summaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2023-07-02 21:48:46 +0200
committerThomas Voss <mail@thomasvoss.com> 2023-07-02 21:48:46 +0200
commit6107fed9d0cbaa1f2ed30737baedf2de67e83f3c (patch)
tree399bdb98e2211c9a4a2c486406476af2d0430577 /Makefile
parent990683043b46d69a5993b429490d5c93f043435c (diff)
Improve proof animations
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions