Revision 298c9429c9f1f901a471bc1bd5bc8e466decf97d authored by Stefano Zacchiroli on 04 October 2019, 17:12:57 UTC, committed by Stefano Zacchiroli on 04 October 2019, 17:12:57 UTC
1 parent e7cf550
Raw File
Makefile.local
FLAG=-v
NOSEFLAGS=-v -s
back to top