Revision 8d19c669755b05ed6d8cef2ed09fe8de21a59499 authored by Roberto Di Cosmo on 30 March 2019, 16:57:21 UTC, committed by GitHub on 30 March 2019, 16:57:21 UTC
Typo, "sigle" → "single"
.gitignore
log*
*~
_build
Makefile
config.h
config.log
config.status
Computing file changes ...