You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
heck a8664092ae hecks git ui: always push tags. 7 months ago
..
00_base.sh move MAKE aliases into convenience.sh 7 months ago
convenience.sh move MAKE aliases into convenience.sh 7 months ago
devenv.sh devenv.sh: prefix pep clone functions 7 months ago
git.sh hecks git ui: always push tags. 7 months ago
java.sh use java JDK17 8 months ago
toolchains.sh update toolchains.sh 7 months ago
zz_fancyprompt.sh part: fancyprompt - credits to marcel, but heavily modified and stripped down 4 years ago