Fabian Boehm caac869b6e Use a normal File for debug-output ... Like the TODO said, we no longer need this.		2024-02-01 19:06:27 +01:00
..
fish_indent.rs	fix permissions on source file	2024-01-13 11:12:02 +08:00
fish_key_reader.rs	fish_key_reader: Exit after "--version"	2024-01-22 17:18:11 +01:00
fish.rs	Use a normal File for debug-output	2024-02-01 19:06:27 +01:00