diff options
| author |  jesopo | 2019-02-27 14:56:20 +0000 |
|---|---|---|
| committer | jesopo | 2019-02-27 14:56:20 +0000 |
| commit | f431fdfd16d6959d30df67df5594275cc77bba55 (patch) | |
| tree | de9a2cc99d2fbce3dbe0a35e04c90efda4d807e6 /src | |
| parent | check on github-hide-prefix was put in the wrong function (diff) | |
| signature | ||
Put github-hide-prefix check in all github commands
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions