directory /src/fschmidt/util/diff/ @ 69:4bc1fc540265 default tip

name size permissions
[up] drwxr-xr-x
file Diff.java 11776 -rw-r--r--
file Difference.java 4224 -rw-r--r--