redo
redo copied to clipboard
Port redo to windows
This won't be trivial, as redo depends on a lot of POSIX features like the shell. But it's not impossible either.