| commit | 7dccebe9dd01ca95bb645e65d73cea8fce009734 | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Mon Mar 06 18:08:32 2017 +0100 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Mon Mar 06 18:08:32 2017 +0100 |
| tree | a3f82aca5fd3de94ee7561db68a6f0469e4a3f0f | |
| parent | 4624370f710064b7dde42203a46b9c22db7664e4 [diff] |
Extend git checkout function by timeout possibility. Change-Id: I90e8c9515d46f9f1ae1b74d079c93c27613ff640