File size: 259 Bytes
34097e9 |
1 2 3 4 5 6 7 8 9 10 11 12 13 |
import csv
from io import StringIO
from typing import List
def split_path_list(path_list: str) -> List[str]:
pl = []
with StringIO() as f:
f.write(path_list)
f.seek(0)
for r in csv.reader(f):
pl += r
return pl
|