Fixed adding lean to PATH

4 years ago · 1c3882211b
parent ae5a446f50
commit 1c3882211b
1 changed files with 1 additions and 0 deletions
--- a/.bashrc
+++ b/.bashrc
@ -65,3 +65,4 @@ bind '"\e[B": history-search-forward'
 complete -cf sudo
 export PATH="$PATH:~/.local/bin"
 export PATH="$HOME/.elan/bin:$PATH"