kovacsv eaaa780c30 Minor speed improvement.		2021-11-11 15:47:52 +01:00
..
css	Show the currently opened file name in the header.	2021-11-11 07:06:55 +01:00
js	Minor speed improvement.	2021-11-11 15:47:52 +01:00