This repository has been archived by the owner on Jan 11, 2023. It is now read-only.

Files

scripts

Feb 20, 2019

c177d26 · Feb 20, 2019

Name	Name	Last commit message	Last commit date
parent directory ..
fix-indent.py	fix-indent.py	Don't indent empty lines in fix-indent.py	Feb 20, 2019
install_ubuntu.sh	install_ubuntu.sh	Remove upgrade from Ubuntu script	Aug 2, 2018