Commit Graph

20 Commits

Author SHA1 Message Date
h
22b71d8545 we are revamping with this one 2024-06-24 19:55:44 -04:00
h
d3c8676053 dots 2024-03-03 01:30:24 -05:00
h
444f3e1177 changes for pone 2024-01-05 21:15:21 -05:00
h
13c92edd01 changes 2023-12-20 20:29:27 -05:00
adedd29830 ocaml + some tex updates 2023-09-03 20:55:58 -04:00
1e7719417f sumneko to lua_ls{ 2023-05-11 21:09:38 -04:00
281f24e002 tex stuff #2 2022-12-04 16:01:19 -05:00
d2910d5884 clean up 2022-11-21 00:05:55 -05:00
c76364784e time reset 2022-11-19 13:46:44 -05:00
914b98ff69 no coq for latex 2022-11-08 20:32:39 -05:00
b7d906d1bf better lsp 2022-09-27 23:46:19 -04:00
f7a0fa36c8 Merge branch 'master' of https://git.evilmuff.in/evilmuffinha/dotfiles 2022-09-06 01:02:32 -04:00
c1aba36a42 cargo target 2022-09-06 01:02:14 -04:00
6b5ff68f1a jedi + sage 2022-09-02 08:44:04 -04:00
ae39e8a19f tex and cargo nvim 2022-08-06 13:09:13 -04:00
5c21103fb2 verilog 2022-05-14 19:29:51 -04:00
c4811368b2 javascript 2022-05-13 18:15:19 -04:00
3a4beb6566 sync 2022-03-26 13:29:14 -04:00
fc06d6f34f disc 2022-02-16 20:08:28 -05:00
def5ca8b9a first 2022-02-13 21:02:44 -05:00