4 commits

Author	SHA1	Message	Date
John Gebbie	c828f2d8ed	improve pipe error messages	2023-01-26 13:33:57 +00:00
John Gebbie	9874f01cfb	use >&2 instead of >/dev/stderr	2022-11-01 10:26:02 +00:00
John Gebbie	ce63460c14	dotoolc: use exec	2022-10-22 18:38:19 +01:00
John Gebbie	217525bf2f	initial commit	2022-10-22 13:41:10 +01:00