Update to latest doom, agda stuff, misc
This commit is contained in:
parent
f95d025d1f
commit
8ba14144a3
9 changed files with 429 additions and 155 deletions
|
|
@ -2,5 +2,4 @@
|
|||
# name: header
|
||||
# expand-env: ((yas-indent-line 'fixed))
|
||||
# --
|
||||
----------------------------------------------------------------------
|
||||
$2
|
||||
--------------------------------------------------------------------------------$2
|
||||
Loading…
Add table
Add a link
Reference in a new issue