diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-06-03 18:43:45 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-06-03 18:43:45 +0200 |
| commit | e26d84254979101374c5abb4a8788c9dd7e6349d (patch) | |
| tree | cf3952fafd2738141d7eb6644c9b467cc24ddc23 /.github | |
| parent | 17c62b5991c41162cf58e8d5f1b58331a00a1ab0 (diff) | |
don't use a bookmarks name if it's empty
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions