baum

directory /examples/ @ 28:ed3eb4b497e5

name size permissions
[up] drwxr-xr-x
file helloworld.baum 411 -rw-r--r--
file sum3input.baum 108 -rw-r--r--