|
|
706b5be1fd
|
Add COQ for auto-completion
|
2022-10-18 13:48:33 +02:00 |
|
|
|
b25bd71619
|
Configure lsp client and Rust's lsp server
|
2022-10-18 12:08:51 +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 |
|
|
|
94693a5136
|
Configure universal defaults
|
2022-10-18 10:27:00 +02:00 |
|
|
|
6ae88b99fa
|
Initial commit
|
2022-10-18 10:17:35 +02:00 |
|
