directory /scripts/miscellaneous/ @ 2983:145d5acfc68b

name size permissions
[up] drwxr-xr-x
file Makefile.in 1413 -rw-r--r--
file bincoeff.m 2037 -rw-r--r--
file bug_report.m 1766 -rw-r--r--
file comma.m 865 -rw-r--r--
file cputime.m 1177 -rw-r--r--
file dump_1_pref.m 1238 -rw-r--r--
file dump_prefs.m 2754 -rw-r--r--
file etime.m 1913 -rw-r--r--
file flops.m 1015 -rw-r--r--
file is_leap_year.m 1211 -rw-r--r--
file list_primes.m 1744 -rw-r--r--
file menu.m 1893 -rw-r--r--
file paren.m 829 -rw-r--r--
file popen2.m 2712 -rw-r--r--
file semicolon.m 839 -rw-r--r--
file texas_lotto.m 1400 -rw-r--r--
file tic.m 1050 -rw-r--r--
file toc.m 1286 -rw-r--r--
file version.m 1041 -rw-r--r--
file xor.m 1288 -rw-r--r--