github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-24 21:31:18 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
0ebff8c516
fish-shell/share/tools
History
Mohamed Akram d2d707a6fa Ignore comments when creating man page completion
2017-07-22 21:32:56 -07:00
..
web_config Quote $USER when used with switch or test 2017-07-20 19:45:32 +02:00
create_manpage_completions.py Ignore comments when creating man page completion 2017-07-22 21:32:56 -07:00
deroff.py simplify invoking create_manpage_completions.py 2016-10-09 18:42:55 -07:00