|
|
b257072be5
|
Replace old highlighting with treesitter
|
2023-04-09 18:22:19 -04:00 |
|
|
|
b793dfcdf0
|
Restore some tmux config
|
2023-01-06 16:24:26 -05:00 |
|
|
|
2d33dd2ca1
|
Add completion, remove old tmuxinators
|
2022-12-31 13:21:26 -05:00 |
|
|
|
44419e2401
|
Better fzf, update tmux config to all light mode
|
2022-12-30 12:15:46 -05:00 |
|
|
|
377c531ae6
|
Add vim scrolloff, create new tmuxinator
|
2022-12-07 06:32:33 -05:00 |
|
|
|
ed80ff1efd
|
Update Rust nvim config, remove Idris
|
2022-11-29 14:50:24 -05:00 |
|
|
|
b0d1c36e0b
|
Add missing files
|
2022-11-28 11:54:56 -05:00 |
|
|
|
34f08c1c85
|
Add Coq support and a few other config changes
|
2022-11-02 07:21:38 -04:00 |
|
|
|
e16e8a25a1
|
Add git config for email and add isabella tmuxinator config
|
2022-10-24 11:56:34 -04:00 |
|
|
|
97fbe00d9b
|
Add Lean support
|
2022-10-12 09:47:55 -04:00 |
|
|
|
7f53f76a19
|
Add another tmuxinator config
|
2022-10-06 19:27:22 -04:00 |
|
|
|
54d2fda100
|
Commit tmuxinator configs
|
2022-10-03 21:45:00 -04:00 |
|
