caryoscelus/agda

作者	SHA1 备注	提交日期
Robert Estelle	50af94fd66 make: Load deprecated mk/parallel-test.mk if exists	4 年之前
Robert Estelle	6591c94fca make: Set SHELL from mk/common.mk and run with safe flags	4 年之前
Robert Estelle	955a663c8d make: Capitalize SED tool var per convention	4 年之前
Robert Estelle	af6a1dd136 make: Move Darwin $(sed) definition into mk/common.mk	4 年之前
Robert Estelle	feac9ac8aa make: Add mk/common.mk	4 年之前