Fabian Boehm 65769bf8c8 history: Allow deleting ranges ... This allows giving a range like "5..7". It works in combination with more (including overlapping) ranges or single indices. Fixes #9736		2023-06-10 15:35:40 +02:00
..
completions	Restyle fishscript and python	2023-06-01 18:20:19 +02:00
functions	history: Allow deleting ranges	2023-06-10 15:35:40 +02:00
groff
tools	improved print CSS for fish_config	2023-06-10 09:47:01 +02:00
__fish_build_paths.fish.in
config.fish	share/config: Erase on_interactive before doing __fish_config_interactive	2023-02-11 14:15:44 +01:00