.gitignore - ri-lmpmc-formalization - Artifact for Research Internship: Linkable MPMC queues in Iris

summary refs log tree commit diff stats

path: root/.gitignore

blob: 56fa1a16c5f3d559084516a9ec12098d6ced5cb3 (about) (plain) (blame)

*.aux
*.glob
*.vio
*.vo
*.vok
*.vos
.CoqMakefile.d
.Makefile.coq.d
.direnv
.lia.cache
Makefile.coq
Makefile.coq.conf
*#*.v#
*#*.vok#
*~
.#*
\#*#