Skip to content

Update idris_requireAlloc call so it builds again.#6

Open
LeifW wants to merge 1 commit intoeckart:masterfrom LeifW:update_requireAlloc
+2-2

Commits

Commits on Feb 26, 2020