directory / @ 3421:7e0b4087cd58

name size permissions
dir. installer_files/ drwxr-xr-x
dir. src/ drwxr-xr-x
dir. tools/ drwxr-xr-x
file .gitignore 43 -rw-r--r--
file .hgignore 217 -rw-r--r--
file CNAME 7 -rw-r--r--
file Makefile.in 26620 -rw-r--r--
file build_packages.m 849 -rw-r--r--
file configure.ac 4376 -rw-r--r--
file dist-files.mk 13699 -rw-r--r--
file index.html 125344 -rw-r--r--
file makeinst-script.sh 11661 -rwxr-xr-x
file mk-dist 3591 -rwxr-xr-x
file octaverc 379 -rw-r--r--