| drwxr-xr-x | browser | files | ||
| drwxr-xr-x | devtools | files | ||
| drwxr-xr-x | dom | files | ||
| drwxr-xr-x | mobile | files | ||
| drwxr-xr-x | netwerk | files | ||
| drwxr-xr-x | security manager | files | ||
| drwxr-xr-x | services sync | files | ||
| drwxr-xr-x | toolkit | files | ||
| -rwxr-xr-x | 2022-04-26 10:31 +0200 | 308 | .hgtags | file | revisions | annotate |