drwxr-xr-x | [up] | |||
-rwxr-xr-x | 1993-09-16 16:25 +0200 | 65 | agrep | file | revisions | annotate |
-rwxr-xr-x | 1993-09-16 16:25 +0200 | 1032 | expandshort | file | revisions | annotate |
-rwxr-xr-x | 1993-09-16 16:25 +0200 | 4014 | make-all | file | revisions | annotate |
-rwxr-xr-x | 1993-09-16 16:25 +0200 | 180 | rm-logfiles | file | revisions | annotate |
-rwxr-xr-x | 1993-09-16 16:25 +0200 | 152 | teeinput | file | revisions | annotate |
-rwxr-xr-x | 1993-09-16 16:25 +0200 | 290 | xlisten | file | revisions | annotate |