Skip to main content

Browse the archive

Revision 4c5509ef882eb792a0f2764424f60b29e00d1368 authored by Giuseppe Cota on 10 October 2016, 09:38:27 UTC, committed by Giuseppe Cota on 10 October 2016, 09:38:27 UTC 
test webhook 2
1 parent de048cd
Raw File
configure 
cd cudd-3.0.0 && ./configure CFLAGS="-Wall -Wextra -g -O3 -fPIC" && cd ..
back to top