Open
Description
tlaplus/tlaplus@1eb8156#diff-364040e3b4487febdb3378d1e3a325421763d819b32c40520360494933a8e263R12 does not work for absolute paths. We should consider adding URI-related operators such as Dirname
, Basename
, Extname
, ...
tlaplus/tlaplus@1eb8156#diff-364040e3b4487febdb3378d1e3a325421763d819b32c40520360494933a8e263R12 does not work for absolute paths. We should consider adding URI-related operators such as Dirname
, Basename
, Extname
, ...