Martin Thomson d3f3e1e40a fix: Remove useless directives for Updates/Obsoletes (#5484) ... These only unnecessarily narrow the space available. See RFC 8996 for an example of where that might matter.		2023-04-14 17:43:25 -05:00
..
css	fix: Remove useless directives for Updates/Obsoletes (#5484)	2023-04-14 17:43:25 -05:00
images	chore: Remove unused arrow-ani.webp (#5386)	2023-03-26 14:15:39 +09:00
js	fix: Unbreak HTMLized table of contents (#5486)	2023-04-12 17:34:30 -05:00
.gitignore	More fixes	2021-12-08 08:55:45 +00:00