diff options
author | Jannik Vieten <me@exploide.net> | 2021-03-08 14:59:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-08 22:59:56 +0900 |
commit | f4e1ed25f224d0ebb4e6bd27c4a012a42c1ccfcd (patch) | |
tree | cf7048b8070c6627cb474185fa4756490e6ea8f7 /Makefile | |
parent | cbfbb49ab4fde73cb5e10ed076645155047425cb (diff) |
[fish] Make widgets work with --option= prefix (#2383)
Co-authored-by: Junegunn Choi <junegunn.c@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions