On 17.12.2019 14:58, Stefan Sperling wrote:
> On Tue, Dec 17, 2019 at 08:33:09AM -0500, Doug Robinson wrote:
>>> And of course, both the
>>> filename and the label (= the part after the tab character) may contain an
>>> arbitrary number of spaces.
>> The problem is parsing the line into proper tok
On Tue, Dec 17, 2019 at 08:33:09AM -0500, Doug Robinson wrote:
> > And of course, both the
> > filename and the label (= the part after the tab character) may contain an
> > arbitrary number of spaces.
>
> The problem is parsing the line into proper tokens when every character out
> there can be
On Mon, Dec 16, 2019 at 8:55 PM Daniel Shahaf
wrote:
> Doug Robinson wrote on Mon, Dec 16, 2019 at 11:13:25 -0500:
> > So the two file names, differing only by a TAB in the "right place" will
> > currently have completely different behaviors:
> >
> > My File NameSPACE(Revision 12)
> > My File
3 matches
Mail list logo