lint: fix using
authorDoug Coleman <doug.coleman@gmail.com>
Mon, 8 Aug 2022 22:42:25 +0000 (17:42 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Mon, 8 Aug 2022 22:42:25 +0000 (17:42 -0500)
commit73d221dd055d8546d525a8c61adcab8d481ab5ad
treef0c733ef22031bed6576d3d20d44e9998bcd7eb7
parent05522be58bfad81a32c30cfde4e190427909d4a2
lint: fix using
extra/lint/lint.factor