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 |