files
/
| drwxr-xr-x | make | files | ||
| drwxr-xr-x | src | files | ||
| drwxr-xr-x | test | files | ||
| -rw-r--r-- | 2023-10-10 20:34 +0200 | 96 | .hgignore | file | revisions | annotate |
| -rw-r--r-- | 2023-10-10 20:34 +0200 | 190 | .hgtags | file | revisions | annotate |
| -rw-r--r-- | 2023-10-10 20:34 +0200 | 1309 | LICENSE | file | revisions | annotate |
| -rw-r--r-- | 2023-10-10 20:34 +0200 | 1841 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 2023-10-10 20:34 +0200 | 3119 | README | file | revisions | annotate |
| -rwxr-xr-x | 2023-10-10 20:34 +0200 | 8663 | configure | file | revisions | annotate |
