Connor Olding df4f8b9dac util, yices: use ARG instead of ENV for versioning		2022-10-04 19:43:28 -07:00
..
acquire	util: largely superficial tweaking	2022-10-04 05:59:38 -07:00
busybox.config	add notwa-util	2022-09-23 12:29:57 -07:00
cosmocc	util: ignore -fpic as well	2022-10-04 02:58:25 -07:00
dedupe	util: largely superficial tweaking	2022-10-04 05:59:38 -07:00
Dockerfile	util, yices: use ARG instead of ENV for versioning	2022-10-04 19:43:28 -07:00
quickconf	util: fix executable permissions	2022-10-01 19:09:17 -07:00
shed	util: fix executable permissions	2022-10-01 19:09:17 -07:00