diff options
| author | Théo Zimmermann | 2020-05-23 13:19:26 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-23 13:19:26 +0200 |
| commit | dbefe0718913318b20d2c56e2ed026c638897a26 (patch) | |
| tree | 0f59e8edb6a40e7cadc250e66c04dc1ac6d90800 /doc/plugin_tutorial/tuto3 | |
| parent | 59e7a45961a1ee1755df02512120c0b5bafe08ce (diff) | |
[dev/tools] Fix #12314: do not die silently if branch has no remote.
Diffstat (limited to 'doc/plugin_tutorial/tuto3')
0 files changed, 0 insertions, 0 deletions