ridiculousfish 7e8b8345e7 Fix some graphical glitches in fish_config ... fish_config has some shadows and other elements which don't align propertly. Fix these, and apply some other miscellaneous polish. Fixes #7811		2021-03-10 18:46:06 -08:00
..
web_config	Fix some graphical glitches in fish_config	2021-03-10 18:46:06 -08:00
create_manpage_completions.py	Reformat	2020-11-22 14:39:48 +01:00
deroff.py	Fix: equality vs identity	2019-11-06 14:13:21 +08:00