comparison Makefile @ 6535:d324fa553620

topic: check if tns is "none" in one more place This is not strictly needed, because it's calling _changecurrenttns(), which checks tns to be "none" anyway, but let's do this for consistency.
author Anton Shestakov <av6@dwimlabs.net>
date Mon, 17 Jul 2023 16:20:16 -0300
parents a80ed2e4745b
children
comparison
equal deleted inserted replaced
6534:43a1bacf6a14 6535:d324fa553620