| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .merlin | 93 | logplain |
| -rw-r--r-- | META | 341 | logplain |
| -rw-r--r-- | Makefile | 624 | logplain |
| -rw-r--r-- | ppx_once.ml | 2180 | logplain |
| -rw-r--r-- | standalone.ml | 116 | logplain |
 |
index : ppx-tools-versioned | |
| Debian dgit repo for package ppx-tools-versioned |
| summaryrefslogtreecommitdiff |