diff options
| author | Griffin Smith <root@gws.fyi> | 2018-08-31T17·31-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2018-08-31T17·31-0400 |
| commit | 8ba14144a32ee053d7fa27b836c632eed48b6f54 (patch) | |
| tree | 353210b3f8710e08cc25d3a7645420614d1685f2 /.gitignore | |
| parent | f95d025d1fdddc6b781662786d5d52e20d3f1d7e (diff) | |
Update to latest doom, agda stuff, misc
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions