| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2018-06-12 14:25 +0200 | 26538 | sizes-32.txt | file | revisions | annotate |
| -rw-r--r-- | 2018-06-12 14:25 +0200 | 26662 | sizes-64.txt | file | revisions | annotate |
| -rw-r--r-- | 2018-06-12 14:25 +0200 | 20262 | xlibtypes.txt | file | revisions | annotate |