type-theory/.gitignore
2024-09-15 19:40:25 -05:00

8 lines
84 B
Text

*.agdai
.DS_Store
node_modules
logseq
!logseq/custom.edn
!logseq/custom.css
.pijul