https://gitlab.com/nomadic-labs/mi-cho-coq
Revision bcce564a0d84f0c6828065fd93423d8408040e04 authored by Arvid Jakobsson on 08 April 2021, 16:33:30 UTC, committed by Arvid Jakobsson on 08 April 2021, 16:34:40 UTC
1 parent 59e5be5
History
Tip revision: bcce564a0d84f0c6828065fd93423d8408040e04 authored by Arvid Jakobsson on 08 April 2021, 16:33:30 UTC
[build] fix the behaviour of ./configure with no arguments
Tip revision: bcce564

back to top