Revision 13fad177ae164d4d09367beb512c3623e8c3b2dc authored by Cyril Bouvier on 21 February 2014, 08:49:19 UTC, committed by Cyril Bouvier on 21 February 2014, 08:49:19 UTC
1 parent 5201dc8
files.unknown
# This file lists files which don't go into the distribution. In contrast
# to files.nodist, this is not because one has decided not to distribute
# these files, but rather because it's undecided -- most likely because
# the committer forgot to add the information. So if ``make dist'' barfs,
# add a pattern to this file so that it eventually only prints a warning.
# The normal situation is to have an empty file here.
Computing file changes ...
