-
Committer:
Jesse Barker
-
Date:
2012-05-01 22:58:28 UTC
-
Revision ID:
jesse.barker@linaro.org-20120501225828-aiigswwj8vxb6ijk
Util: Update split() to treat the delimiter more flexibly, so that if there is
whitespace or consecutive delimiters, the elements come out cleanly.