Unable to refresh

[Jeremy Nicoll - ml gip]

On 2018-03-24 09:43, Ralph Corderoy wrote:

> Yes, I expect you're right.  Fortunately, I've only had a little
> exposure to that in the days of DOS.  :-)  If Windows doesn't treat
> «^» specially then that could be used instead with no quoting needed.

The ^ character is Windows' escape character for command-line use.

-- 
Jeremy Nicoll - my opinions are my own