.gitignore - B - a new way to look at the Agda standard library

about summary refs log tree commit diff

path: root/.gitignore

blob: 1c5bf9e564c6bf2c25969a2b28a8bd81ba727b7c (plain)

#                                                                   -*- conf -*-

# Editor backup files
*~
\#*
.\#*

# Agda
*.agdai