Revision 3f31a9c8b8d38b8eab9ada490b0f93b78a854de2 authored by Stefano Zacchiroli on 05 June 2018, 09:30:03 UTC, committed by Stefano Zacchiroli on 05 June 2018, 09:30:03 UTC
1 parent bc30e8b
Raw File
Makefile.local
FLAG=-v
NOSEFLAGS=-v -s
back to top