Made update_subtrees.sh executable

2022-06-19 15:51:43 +02:00
parent 0721aa2a85
commit 04d74e3d6a
1 changed files with 1 additions and 0 deletions
@@ -1 +1,2 @@
+#!/bin/bash
 git subtree pull --prefix subtrees/columbus git@dominik-roth.eu:dodox/Columbus.git master --squash