Simon Brooke e2e06d0244 Added get-message function, with simpler parameters. ... Also brought up to date, and fixed some stylistic errors noted by Kondo, and set the default locale to the runtime default locale.		2023-01-04 20:44:03 +00:00
..
highlight.min.js	Added get-message function, with simpler parameters.	2023-01-04 20:44:03 +00:00
jquery.min.js	Added get-message function, with simpler parameters.	2023-01-04 20:44:03 +00:00
page_effects.js	Added get-message function, with simpler parameters.	2023-01-04 20:44:03 +00:00