options: deprecate --input-file
I have no idea why this still exists, since we have --input-ipc-server. I think there was something about Windows, but the latter option is implemented even on Windows.
W
wm4 committed
f57f13ceb031e5a11a4a2de226ee1f9b211ddb64
Parent: 6bbf44d