Jose Diaz-Gonzalez 4f6f9ad5ca update docker binstub output

2015-09-07 00:56:53 -04:00

..

docker

update docker binstub output

2015-09-07 00:56:53 -04:00

id

formatting

2015-09-07 00:35:07 -04:00

redis-cli

formatting

2015-09-07 00:35:07 -04:00