Files
Ben Harris dbbe9d3750 js: Make the dialogue box heading actually be an <h2>
This is semantically more correct and less ugly as well.
2022-10-18 01:00:49 +01:00
..
2015-01-12 19:51:19 +00:00
2021-04-25 09:59:15 +01:00
2015-10-18 17:53:28 +01:00