Jeroen Vermeulen a25193cc5d Fix a lot of lint, mostly trailing whitespace. ... This is lint reported by the new lint-checking functionality in beautify.py. (We can change to a different lint checker if we have a better one, but it would probably still flag these same problems.) Lint checking can help a lot, but only if we get the lint under control.		2015-05-17 20:04:04 +07:00
..
html_templates.php	Fix a lot of lint, mostly trailing whitespace.	2015-05-17 20:04:04 +07:00
index.php	adding web page source code	2011-10-21 22:36:20 +01:00
log_wrapper.php	Fix a lot of lint, mostly trailing whitespace.	2015-05-17 20:04:04 +07:00
show_commit.php	adding web page source code	2011-10-21 22:36:20 +01:00