No longer needing update_subtrees.sh

2022-06-19 16:30:46 +02:00
parent 7b8f2e7109
commit 605a81c81c
1 changed files with 0 additions and 2 deletions
@@ -1,2 +0,0 @@
 #!/bin/bash
 git subtree pull --prefix subtrees/columbus git@dominik-roth.eu:dodox/Columbus.git master --squash
		`@@ -1,2 +0,0 @@`
			`#!/bin/bash`
			`git subtree pull --prefix subtrees/columbus git@dominik-roth.eu:dodox/Columbus.git master --squash`