|
|
d54ba8d8c6
|
Only use spaces instead of tabs for python files
|
2023-02-11 14:22:58 +01:00 |
|
Julien LE PAGE
|
48bee7cb27
|
Force use of LFs as EOLs
|
2023-02-07 13:44:37 +01:00 |
|
Julien LE PAGE
|
d1ef3a665e
|
Configure ranger's shortcuts
|
2023-02-07 13:44:24 +01:00 |
|
|
|
9fafda8a23
|
Replace coq with nvim-cmp
coq is way more complicated (python-venv and sqlite) and crashes in wsl
|
2022-10-20 14:35:47 +02:00 |
|
|
|
584ce52dc6
|
Disable unused node provider
|
2022-10-20 10:01:21 +02:00 |
|
|
|
c65ba7a9f6
|
Configure and fix syntax
|
2022-10-18 18:46:58 +02:00 |
|
|
|
706b5be1fd
|
Add COQ for auto-completion
|
2022-10-18 13:48:33 +02:00 |
|
|
|
0076f8b800
|
Configure indentation
|
2022-10-18 11:37:24 +02:00 |
|
|
|
f3899d25f8
|
Move to third-party plugin management
|
2022-10-18 11:16:39 +02:00 |
|
|
|
6ae88b99fa
|
Initial commit
|
2022-10-18 10:17:35 +02:00 |
|
