| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-10-12 | Add ppx diff file. | mrb0nk500 | |
| If someone wants to get ppx working, then apply this patch, and commit it to the repo. | |||
 |
index : clld | |
| A simple, and standalone collision checker. | mr b0nk 500 |
| summaryrefslogtreecommitdiff |
path: root/clld-ppx.diff