Sorry for my stupidity.  It is [[:space:]], of course.  I knew that
.. not the first time I've forgotten it, though :).

Reply via email to