60 lines
770 B
Text
60 lines
770 B
Text
|
|
# Created by https://www.toptal.com/developers/gitignore/api/emacs,agda
|
|
# Edit at https://www.toptal.com/developers/gitignore?templates=emacs,agda
|
|
|
|
### Agda ###
|
|
*.agdai
|
|
MAlonzo/**
|
|
|
|
### Emacs ###
|
|
# -*- mode: gitignore; -*-
|
|
*~
|
|
\#*\#
|
|
/.emacs.desktop
|
|
/.emacs.desktop.lock
|
|
*.elc
|
|
auto-save-list
|
|
tramp
|
|
.\#*
|
|
|
|
# Org-mode
|
|
.org-id-locations
|
|
*_archive
|
|
|
|
# flymake-mode
|
|
*_flymake.*
|
|
|
|
# eshell files
|
|
/eshell/history
|
|
/eshell/lastdir
|
|
|
|
# elpa packages
|
|
/elpa/
|
|
|
|
# reftex files
|
|
*.rel
|
|
|
|
# AUCTeX auto folder
|
|
/auto/
|
|
|
|
# cask packages
|
|
.cask/
|
|
dist/
|
|
|
|
# Flycheck
|
|
flycheck_*.el
|
|
|
|
# server auth directory
|
|
/server/
|
|
|
|
# projectiles files
|
|
.projectile
|
|
|
|
# directory configuration
|
|
.dir-locals.el
|
|
|
|
# network security
|
|
/network-security.data
|
|
|
|
|
|
# End of https://www.toptal.com/developers/gitignore/api/emacs,agda
|