| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 1065 | logplain |
| -rw-r--r-- | META | 90 | logplain |
| -rw-r--r-- | Makefile | 2328 | logplain |
| -rw-r--r-- | README | 3217 | logplain |
| -rw-r--r-- | RELEASE | 6 | logplain |
| d--------- | debian | 463 | logplain |
| d--------- | speed | 115 | logplain |
| -rw-r--r-- | xstr_match.ml | 15142 | logplain |
| -rw-r--r-- | xstr_match.mli | 8033 | logplain |
| -rw-r--r-- | xstr_search.ml | 4406 | logplain |
| -rw-r--r-- | xstr_search.mli | 4592 | logplain |
| -rw-r--r-- | xstr_split.ml | 5877 | logplain |
| -rw-r--r-- | xstr_split.mli | 2277 | logplain |
 |
index : xstr | |
| Debian dgit repo for package xstr |
| summaryrefslogtreecommitdiff |