toto10's picture
b1cd3cb7bfbdf6b65768916fc8a7bf7d73c29be1b2d83eee6ed82a504ce95797
aab0905
raw
history blame
259 Bytes
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