gutteridge fed4c0527d Remove redundant variable assignment ... (Someone may want to define MAKEDEVTARGETS differently than is done at present, but that would be a different change.)		2023-06-14 23:03:19 +00:00
..
Makefile	Remove redundant variable assignment	2023-06-14 23:03:19 +00:00
dot.profile	…
list	…