zoomiti
/
dotfiles
mirror of https://github.com/zoomiti/dotfiles.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
22 Commits
1 Branch
0 Tags
483 KiB
Commit Graph

6 Commits (585a8daef9b2933a9c3b7a902222fd312631512a)

Author SHA1 Message Date
zoomiti 7189c077a5 Huge update before setting up new laptop 4 years ago
zoomiti ce9114a13f Fixed PATH for lean 4 years ago
zoomiti 1c3882211b Fixed adding lean to PATH 4 years ago
zoomiti 1b52c359fd Fixed rpg-cli config 4 years ago
zoomiti 7afb33cc87 Added bashrc git shortcuts 4 years ago
zoomiti 78a539e698 Restructured dotfiles and added vim/neovim 4 years ago