diff options
| author | Michael Muré <batolettre@gmail.com> | 2020-09-29 22:00:35 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2020-09-29 22:00:35 +0200 |
| commit | db20bc34e5cd696842f459b1d0b8b6aa6457d739 (patch) | |
| tree | 44f547a041f3fb74f5181681a950c2db7b7b4f33 /webui | |
| parent | 1204b66e0cc958c2ca3b328d25cbec347356a046 (diff) | |
| download | git-bug-db20bc34e5cd696842f459b1d0b8b6aa6457d739.tar.gz | |
repo: fallback editor list by looking if the binary exist
Diffstat (limited to 'webui')
0 files changed, 0 insertions, 0 deletions