-
Chong Yidong authored
loop queries the user interactively if an already-visited file has been changed since the last visit. The new default value is `ask'.
9a5ec44e
loop queries the user interactively if an already-visited file has been changed since the last visit. The new default value is `ask'.