directory / @ 8:8b17df8f6340 default tip

name size permissions
dir. efr2/ drwxr-xr-x
dir. src/ drwxr-xr-x
dir. std/ drwxr-xr-x
file .hgignore 95 -rw-r--r--
file Makefile 180 -rw-r--r--
file README 520 -rw-r--r--
file Theory-and-mystery 8838 -rw-r--r--