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
Makefile.local
FLAG=-v
NOSEFLAGS=-v -s
Computing file changes ...