Eduardo Cueto-Mendoza
|
a2a5b21d41
|
Modified word dictionary
|
2023-11-09 10:08:20 +00:00 |
Eduardo Cueto-Mendoza
|
832fd71bd4
|
Modified word dictionary
|
2023-11-07 14:49:31 +00:00 |
Eduardo Cueto-Mendoza
|
ac44e75730
|
New dictionary words to omit
|
2023-10-24 12:21:27 +01:00 |
Eduardo Cueto-Mendoza
|
b0639d7041
|
Modification to older config
|
2023-08-30 12:30:31 +01:00 |
Eduardo Cueto-Mendoza
|
413b072d53
|
Migrating to Lazy
|
2023-08-29 17:33:04 +01:00 |
Eduardo Cueto-Mendoza
|
35c7a9d291
|
Addition of dictionary files for LaTeX lsp
|
2023-07-26 09:46:02 +01:00 |