Helmut Grohne wrote: > > Why not .strip() them all instead, out of interest? > > Feel free to do so. I just felt that changing the type from str to > List(str) would be non-trivial
(.strip() has a prototype of "str" → "str" so I am confused about all these
references to "[str]".)
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] / chris-lamb.co.uk
`-

