miniwdl
miniwdl copied to clipboard
size() and basename() should take Directory
this would be an openwdl PR