https://gitlab.inria.fr/cado-nfs/cado-nfs
Revision 13f7948c427bd2a08ec9e114ef8eec33b149983c authored by Emmanuel Thomé on 29 January 2021, 16:19:07 UTC, committed by Emmanuel Thomé on 31 January 2021, 21:30:12 UTC
1 parent 6f68957
Raw File
Tip revision: 13f7948c427bd2a08ec9e114ef8eec33b149983c authored by Emmanuel Thomé on 29 January 2021, 16:19:07 UTC
various fixes for containerized builds.
Tip revision: 13f7948
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.
back to top