-
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'.
8a8e9795
loop queries the user interactively if an already-visited file has been changed since the last visit. The new default value is `ask'.