diff options
| author |  Uko Kokņevičs | 2025-06-28 10:28:10 +0300 |
|---|---|---|
| committer | Uko Kokņevičs | 2025-06-28 10:29:24 +0300 |
| commit | 619ef12abe52e8584ada93850c00962022ee70f0 (patch) | |
| tree | 9f095d9ccbf0c79043ecf6779d3788e599f0fdb1 /init.el | |
| parent | Add kotlin-ts-mode (diff) | |
| download | emacs.d-619ef12abe52e8584ada93850c00962022ee70f0.tar.gz emacs.d-619ef12abe52e8584ada93850c00962022ee70f0.tar.xz emacs.d-619ef12abe52e8584ada93850c00962022ee70f0.zip | |
Add proof-general
Diffstat (limited to 'init.el')
0 files changed, 0 insertions, 0 deletions