directory /EdgeTonePatches/ @ 294:bd5cb03aff25

name size permissions
[up] drwxr-xr-x
file EdgeToneD1.pd 19588 -rw-r--r--
file arccos.pd 646 -rw-r--r--
file fcpan.pd 532 -rwxr-xr-x