8 lines
152 B
Text
8 lines
152 B
Text
# SPDX-License-Identifier: LGPL-3.0-or-later
|
|
# See Notices.txt for copyright information
|
|
.CoqMakefile.d
|
|
*.aux
|
|
CoqMakefile
|
|
CoqMakefile.conf
|
|
*.glob
|
|
*.vo*
|