package info
(click to toggle)
Folder: debian
| .. (parent) | ||||
| d | rwxr-xr-x | 139 | patches | |
| d | rwxr-xr-x | 27 | source | |
| - | rw-r--r-- | 8,383 | changelog | |
| - | rw-r--r-- | 1,136 | control | |
| - | rw-r--r-- | 2,283 | copyright | |
| - | rw-r--r-- | 292 | doc-base | |
| - | rw-r--r-- | 29 | docs | |
| - | rw-r--r-- | 18 | install | |
| - | rw-r--r-- | 1,522 | jflex.1 | |
| - | rw-r--r-- | 53 | jflex.links | |
| - | rw-r--r-- | 75 | jflex.poms | |
| - | rw-r--r-- | 15 | manpages | |
| - | rwxr-xr-x | 762 | rules | |
| - | rw-r--r-- | 206 | watch |
