Joey Hess b1d8437f8a if extrafooter is already set, append to it ... to interoperate with future plugins using it		2008-08-26 18:04:45 -04:00
..
Plugin	if extrafooter is already set, append to it	2008-08-26 18:04:45 -04:00
Setup	…
CGI.pm	…
Render.pm	…
Setup.pm	…
UserInfo.pm	…
Wrapper.pm	…