commit 6a83bb75085350790878ce58faa720edc655190a
parent 728498fde56ef202d011310c723bc8f07cb4c281
Author: Benno Schulenberg <bensberg@telfort.nl>
Date: Mon, 27 May 2019 09:33:36 +0200
tweaks: delete a leftover
Diffstat:
1 file changed, 0 insertions(+), 4 deletions(-)
diff --git a/src/files.c b/src/files.c
@@ -901,10 +901,6 @@ void read_file(FILE *f, int fd, const char *filename, bool undoable)
#endif
}
-/* An empty handler for a keyboard interrupt (SIGINT). */
-RETSIGTYPE noop(int signal)
-{}
-
/* Open the file with the given name. If the file does not exist, display
* "New File" if newfie is TRUE, and say "File not found" otherwise.
* Return -2 if we say "New File", -1 if the file isn't opened, and the