directory /config/ @ 17259:bc20efc34eba octave-stable

name size permissions
[up] drwxr-xr-x
file argz.mk 2223 -rw-r--r--
file srclist-update 4329 -rwxr-xr-x
file srclist.txt 10831 -rw-r--r--
file srclistvars.sh 1380 -rw-r--r--