make_tree_file: all our trees are git trees

So don't bother saying that over and over

diff --git a/make_tree_file b/make_tree_file
index f286756b87999f1443f259f146678cef11ea4c1d..a6a8b086be1caaa388bdd253514acb16e5963911 100755 (executable)
--- a/make_tree_file
+++ b/make_tree_file
@@ -20,8 +20,8 @@ mkdir Next
        tab="$_TAB$_TAB"
 
        printf '%s\n\n' 'Trees included into this release:'
-       printf '%s%s%s\t%s\n' 'Name' "$tab" 'Type' 'Url'
-       printf '%s%s%s\t%s\n' '----' "$tab" '----' '---'
+       printf '%s%s%s\n' 'Name' "$tab" 'Url'
+       printf '%s%s%s\n' '----' "$tab" '---'
 
        for name in $(get_branches); do
                tab="$_TAB"
@@ -34,7 +34,7 @@ mkdir Next
                        ref=$(get_remote_branch "$name")
                        url="$url#$ref"
                fi
-               printf '%s%s%s\t%s\n' "$name" "$tab" "$type" "$url"
+               printf '%s%s%s\n' "$name" "$tab" "$url"
        done
 ) >Next/Trees