|
b25f1f9f4b
|
feat(vim): Add Coq support
|
2024-10-24 15:29:38 +02:00 |
|
|
85553a4a9c
|
[vim] Tweak linters
|
2024-02-23 08:03:47 +01:00 |
|
|
5c9517bb0c
|
[vim] Fix working linter
|
2024-02-19 07:54:22 +01:00 |
|
|
ffda64709f
|
Improve light-dark toggle speed and Vim
|
2023-11-06 10:45:26 +01:00 |
|
|
0d72ee0c84
|
Add themeswitch script
|
2023-10-28 12:49:49 +02:00 |
|
|
cf9058cc48
|
[vim] Move into user config
|
2023-10-19 21:03:53 +02:00 |
|
|
48c0e0b21e
|
Slowly start to move config files up into stow folder
|
2023-03-24 08:19:23 +01:00 |
|
|
f47802351e
|
Moved arch to its own subdirectory
|
2023-03-12 19:55:04 +01:00 |
|
|
0aba1fae2c
|
Some vim changes
|
2022-11-05 09:34:07 +01:00 |
|
|
06d90454e9
|
Adding more config & more testing
|
2022-10-26 14:28:55 +02:00 |
|