about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorGriffin Smith <root@gws.fyi>2018-08-31T17·31-0400
committerGriffin Smith <root@gws.fyi>2018-08-31T17·31-0400
commit8ba14144a32ee053d7fa27b836c632eed48b6f54 (patch)
tree353210b3f8710e08cc25d3a7645420614d1685f2 /.gitignore
parentf95d025d1fdddc6b781662786d5d52e20d3f1d7e (diff)
Update to latest doom, agda stuff, misc
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions