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 سال پیش