directory /rDiff/examples/ @ 3:29a698dc5c7e default tip

name size permissions
[up] drwxr-xr-x
dir. results/ drwxr-xr-x
file Makefile 339 -rw-r--r--
file get_data.sh 627 -rwxr-xr-x
file run_example.sh 664 -rwxr-xr-x