JetSetIlly 49a8de6c31 removed lint errors ... menu entries for windows can have diferent labels to the window title. (this was already a feature but it is now more clear/onvenient. change prompted by lint error).		2021-01-11 17:40:52 +00:00
..
doc.go	patch from output of "cmp -l"	2021-01-08 23:24:19 +00:00
patch.go	removed lint errors	2021-01-11 17:40:52 +00:00