| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | patch-dune-project | 167 | logplainblame |
| -rw-r--r-- | patch-src_abella.ml | 990 | logplainblame |
| -rw-r--r-- | patch-src_abella__dep.ml | 517 | logplainblame |
| -rw-r--r-- | patch-src_abella__doc.ml | 1178 | logplainblame |
 |
index : freebsd/ports.git | |
| Unnamed repository; edit this file 'description' to name the repository. | git |
| summaryrefslogtreecommitdiff |