| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 16 |  .. |
| -rw-r--r-- | 0 |  formatting.1 |
| -rw-r--r-- | 27714 | formatting.2 |
| -rw-r--r-- | 151293 | formatting.texi |
| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 16 | .. |
| -rw-r--r-- | 0 | formatting.1 |
| -rw-r--r-- | 27714 | formatting.2 |
| -rw-r--r-- | 151293 | formatting.texi |