/hpi-scripts

Various scripts to make your life at HPI easier on a unix/linux machine

Primary LanguageShell

hpi-scripts

Various scripts to make your life at HPI easier on a unix/linux machine