| commit | 0fb505b57d81b15c471d0abd31e3a5ff41997a76 | [log] [tgz] |
|---|---|---|
| author | Jakub Pavlik <pavlk.jakub@gmail.com> | Thu Jun 22 12:29:44 2017 +0000 |
| committer | Gerrit Code Review <gerrit2@32a4cf582fa9> | Thu Jun 22 12:29:46 2017 +0000 |
| tree | e5bd927a6059f25eef9ccd048fb6fe7429f01123 | |
| parent | f083e81421a600fd31bba014fe3a6a926ec1b13b [diff] | |
| parent | e444ae0b7bfb35ce64c0cac2aa859a9b240d167d [diff] |
Merge "Added pinning for local repos"