dot point formatting

Joel Grunbaum

2020-03-29 bcd5cc4de6ab60613db0d6395df35b8c548b521b

 .gitignore

old mode 100644
new mode 100755
@@ -1,2 +1,2 @@
chroot
repo
!repo/build.sh