diff makefile @ 2086:fe807af851c8

partial port of editchoice
author drewp@bigasterisk.com
date Sun, 29 May 2022 01:43:11 -0700
parents 1c772cb39908
children 13d1fc32125b
line wrap: on
line diff