Wilfred Hughes cdbf54f4bd flycheck: initial implementation of $saved_file ... If the custom command has a $saved_file placeholder, and we know the file being saved, replace the placeholder and then run a check command. If there's a placeholder and we don't know the saved file, do nothing.		2024-02-12 15:45:48 +01:00
..
code	flycheck: initial implementation of $saved_file	2024-02-12 15:45:48 +01:00