diff options
Diffstat (limited to 'bin/repo-list.in')
-rw-r--r-- | bin/repo-list.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/repo-list.in b/bin/repo-list.in new file mode 100644 index 000000000000..15bad770b6a3 --- /dev/null +++ b/bin/repo-list.in @@ -0,0 +1 @@ +@GIT_REPO_NAMES@
\ No newline at end of file |