directory / @ 1630:d0efa3ae5522 default tip

name size permissions
[up] drwxr-xr-x
dir. addon/ drwxr-xr-x
dir. compile/ drwxr-xr-x
dir. complex/ drwxr-xr-x
dir. nocompile/ drwxr-xr-x
dir. norun/ drwxr-xr-x
dir. obj/ drwxr-xr-x
dir. run/ drwxr-xr-x
dir. tools/ drwxr-xr-x
dir. undefined/ drwxr-xr-x
file .hgignore 20 -rw-r--r--
file Makefile 9588 -rw-r--r--
file Makefile.parallel 3482 -rw-r--r--
file authors.txt 69 -rw-r--r--
file crashRun.c 8345 -rw-r--r--
file dstress.c 34271 -rw-r--r--
file extract__.c 1680 -rw-r--r--
file favicon.ico 318 -rw-r--r--
file ifeq__.c 1034 -rw-r--r--
file index.html 160 -rw-r--r--
file license.txt 18007 -rw-r--r--
file log.d 25851 -rw-r--r--
file message_tie.pl 230 -rwxr-xr-x
file readme.html 10127 -rw-r--r--
file reporter.txt 6858 -rw-r--r--
file return__.c 1094 -rw-r--r--
file unique.d 2248 -rw-r--r--
file update.sh 1364 -rwxr-xr-x
file valgrind.suppress 59 -rw-r--r--