pablo
dotfiles
dotfiles
My personal dotfiles! 💻
tar archive
software recommendations 💻️
Name
..
.config/bat/syntaxes/sublime-idris-syntax/Comments.tmPreferences
.config/bat/syntaxes/sublime-idris-syntax/LICENSE
.config/bat/syntaxes/sublime-idris-syntax/README.md
.config/bat/syntaxes/sublime-idris-syntax/idris.sublime-syntax