drwxr-xr-x | [up] | |||
drwxr-xr-x | context | files | ||
drwxr-xr-x | html | files | ||
-rw-r--r-- | 2022-05-30 19:01 +0200 | 173 | AUTHORS | file | revisions | annotate |
-rw-r--r-- | 2022-05-30 19:01 +0200 | 170 | CONTRIBUTORS | file | revisions | annotate |
-rw-r--r-- | 2022-05-30 19:01 +0200 | 1479 | LICENSE | file | revisions | annotate |
-rw-r--r-- | 2022-05-30 19:01 +0200 | 1303 | PATENTS | file | revisions | annotate |