|
|
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 |
|
