Automated update repository metadata [skip ci]

This commit is contained in:
veggiemonk-bot
2018-07-27 16:19:32 +00:00
parent 08ce2e1167
commit 9753f3f4b6
3 changed files with 35471 additions and 1 deletions

View File

@@ -231,6 +231,7 @@
"https://github.com/binci/binci",
"https://github.com/boot2docker/boot2docker",
"https://github.com/lstephen/construi",
"https://github.com/oracle/crashcart",
"https://github.com/fgrehm/devstep",
"https://github.com/codekitchen/dinghy",
"https://github.com/nlf/dlite",