Skip to content

Re-implement build system using standard utilities.#13

Open
ReilySiegel wants to merge 1 commit into
idris-community:mainfrom
ReilySiegel:build-back-better
Open

Re-implement build system using standard utilities.#13
ReilySiegel wants to merge 1 commit into
idris-community:mainfrom
ReilySiegel:build-back-better

Re-implement build system using standard utilities.

89a5f57
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.