]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 137 | changelog | blob | history | raw |
-rw-r--r-- | 1903 | control | blob | history | raw |
-rw-r--r-- | 749 | copyright | blob | history | raw |
-rw-r--r-- | 49 | docs | blob | history | raw |
-rw-r--r-- | 68 | libeditex-dev.files | blob | history | raw |
-rw-r--r-- | 111 | libeditex-ocaml-dev.files | blob | history | raw |
-rw-r--r-- | 36 | libeditex-ocaml.files | blob | history | raw |
-rw-r--r-- | 25 | libeditex0.files | blob | history | raw |
-rwxr-xr-x | 1662 | rules | blob | history | raw |