Fabian Boehm 772a367365 prompts/disco: Use $fish_color_status for the status ...

That's what it's for.

2023-01-17 21:31:47 +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

prompts/disco: Use $fish_color_status for the status

2023-01-17 21:31:47 +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