| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 31 |  .. |
| -rw-r--r-- | 540 |  js_licenses.html |
| -rw-r--r-- | 0 | tex_gdef.1 |
| -rw-r--r-- | 58 | tex_gdef.2 |
| -rw-r--r-- | 1680 | tex_gdef.html |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 31 | .. |
| -rw-r--r-- | 540 | js_licenses.html |
| -rw-r--r-- | 0 | tex_gdef.1 |
| -rw-r--r-- | 58 | tex_gdef.2 |
| -rw-r--r-- | 1680 | tex_gdef.html |