Revision 8ec0cf685bfb7ffefca1a7b0a26c7dff142e53f3 authored by David Douard on 14 June 2021, 11:48:13 UTC, committed by David Douard on 15 June 2021, 09:22:38 UTC
1 parent 428c170
Raw File
Makefile.local
FLAG=-v
NOSEFLAGS=-v -s
back to top