diff etc/PROBLEMS @ 83817:d2159c231849

(create-file-buffer): If the filename sans directory starts with spaces, remove them.
author Michaël Cadilhac <michael.cadilhac@lrde.org>
date Fri, 31 Aug 2007 13:29:34 +0000
parents cc6ee6c9a895
children ba829cdc5870 f4c187eb69f2 b83d0dadb2a7
line wrap: on
line diff