directory / @ 7:1fd613cec7ab

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 Theory-and-mystery 8838 -rw-r--r--