| 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 |