fish-shell/share/tools
David Adam 78dfc57b1e web_config: set new prompts via JSON instead of URI-encoded
Fixes problems with encoding and decoding Unicode from URL-encoded strings,
which was impossible to get right in Python 2.
2015-01-30 22:54:13 +08:00
..
web_config web_config: set new prompts via JSON instead of URI-encoded 2015-01-30 22:54:13 +08:00
create_manpage_completions.py Manpage completions: store in $XDG_DATA_HOME 2014-09-29 19:39:36 +08:00
deroff.py Remove trailing whitespaces and change tabs to spaces 2012-11-18 11:23:22 +01:00