| Permissions | Size | Name |
|---|---|---|
| drwxr-xr-x | 31 |  .. |
| -rw-r--r-- | 1649 |  config.texi |
| -rwxr-xr-x | 1778 | dummy-man |
| -rw-r--r-- | 23434 | fdl.texi |
| -rw-r--r-- | 1657 | local.mk |
| -rw-r--r-- | 438 | sed-dummy.1 |
| -rw-r--r-- | 10513 | sed.1 |
| -rw-r--r-- | 212886 | sed.info |
| -rw-r--r-- | 165399 | sed.texi |
| -rw-r--r-- | 7667 | sed.x |
| -rw-r--r-- | 94 | stamp-vti |
| -rw-r--r-- | 94 | version.texi |