author | Good Guy <[email protected]> | |
Thu, 31 Aug 2023 13:33:08 +0000 (07:33 -0600) | ||
committer | Good Guy <[email protected]> | |
Thu, 31 Aug 2023 13:33:08 +0000 (07:33 -0600) | ||
commit | 2083217ef15afe057d33b63ce76459b672844d5a | |
tree | 7d2c05840a39485ff3508b5c361fff689168557b | tree | snapshot |
parent | fefaccf04bd94acdd41c2056fb3fe9a158d7a156 | commit | diff |
images/mirror.png | diff | blob | history | |
parts/Plugins.tex | diff | blob | history |