.gitignore - bookshelf.git - ACL2 で作ってみた自作ライブラリ関連

summary refs log tree commit diff

path: root/.gitignore

blob: d98bce54d6fedfceec213bcc1376bef5f7040831 (about) (plain)

*.cert
*.fasl
*.port
*.lx64fsl
temp-emacs-file.lsp
*~