fish-shell/share/tools/web_config
Fabian Boehm 7d7b72f995 Use path basename instead of basename
This is faster and guaranteed to be available
2023-02-10 20:51:22 +01:00
..
js webconfig: Remove the abbreviations tab 2023-01-11 08:25:45 +01:00
partials webconfig: Remove the abbreviations tab 2023-01-11 08:25:45 +01:00
sample_prompts Use path basename instead of basename 2023-02-10 20:51:22 +01:00
themes themes/coolbeans: Set fish_color_status to something less obtrusive 2023-01-17 21:30:47 +01:00
delete.png Lossless recompress of images with pngcrush+zopfli 2016-06-18 10:03:26 -07:00
favicon.png Add favicon for web config 2015-07-12 15:06:56 -07:00
fishconfig.css webconfig: Remove the abbreviations tab 2023-01-11 08:25:45 +01:00
index.html webconfig: Remove the abbreviations tab 2023-01-11 08:25:45 +01:00
webconfig.py webconfig: Remove the abbreviations tab 2023-01-11 08:25:45 +01:00