23 Sep
2022
23 Sep
'22
2:32 p.m.
On Fri Sep 23 13:35:52 2022 +0000, Jacek Caban wrote:
Agreed. And yes, changing map_hres sounds good to me.
Ok, I'll try and work something up along those lines.