github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-23 15:16:40 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
b7dd060dec
fish-shell/share/tools
History
Aaron Gyes b7dd060dec sample prompts: use $USER instead of (whoami)
2019-09-18 23:35:16 -07:00
..
web_config sample prompts: use $USER instead of (whoami) 2019-09-18 23:35:16 -07:00
create_manpage_completions.py Reformat all files 2019-05-05 12:09:25 +02:00
deroff.py Reformat all files 2019-05-05 12:09:25 +02:00