tree 681440e5119ca5c29da149c8f265132e32244fee
parent 71c46a63c481d0b032d3c312247e46c1972f0dfb
author Jakub Josef <jakub.josef@gmail.com> 1490798310 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1490798310 +0200

Added second checkout function for checkouting by hand

Change-Id: I01faf715fa52e7da63054e5a5de1a72f1cfbc72b