Makefile · 10db208c84dc747a32c4c43ba73d43d91975c37b · Arthur Azevedo de Amorim / stdpp

Forked from Iris / stdpp

Source project has a limited visibility.

8 years ago

Ralf Jung authored 8 years ago

This partially reverts 2bf11f4f.  There is no need to add new Makefile targets as the Makefile already forwards all targets to Makefile.coq.

10db208c

Ralf Jung authored 8 years ago

This partially reverts 2bf11f4f.  There is no need to add new Makefile targets as the Makefile already forwards all targets to Makefile.coq.