| author | Good Guy <[email protected]> | |
| Fri, 1 Sep 2023 21:39:41 +0000 (15:39 -0600) | ||
| committer | Good Guy <[email protected]> | |
| Fri, 1 Sep 2023 21:39:41 +0000 (15:39 -0600) | ||
| commit | ce14b30e8686b4f3eb990b7d90bd30e84bcfb953 | |
| tree | 1437b99c97b78d13642d3e9572781a8b6ac74d29 | tree | snapshot |
| parent | 2083217ef15afe057d33b63ce76459b672844d5a | commit | diff |
| images/mirror.png | diff | blob | history | |
| parts/Plugins.tex | diff | blob | history |