Matei Adriel e2baf15fe6 Configure default branch name for git		2023-03-31 19:45:20 +02:00
..
cli	Configure default branch name for git	2023-03-31 19:45:20 +02:00
desktop	Added desmos and switched off nvim nightly	2023-03-20 20:02:01 +01:00
neovim	Setup upgrade and python setup I guess	2023-03-30 02:55:21 +02:00