| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 32 | logplain |
| -rw-r--r-- | CHANGES.md | 136 | logplain |
| -rw-r--r-- | LICENSE.md | 1518 | logplain |
| -rw-r--r-- | Makefile | 300 | logplain |
| -rw-r--r-- | README.md | 360 | logplain |
| d--------- | debian | 405 | logplain |
| -rw-r--r-- | dune-project | 36 | logplain |
| d--------- | pkg | 34 | logplain |
| -rw-r--r-- | ppx_derivers.opam | 616 | logplain |
| d--------- | src | 119 | logplain |
 |
index : ppx-derivers | |
| Debian dgit repo for package ppx-derivers |
| summaryrefslogtreecommitdiff |