diff options
| author | Marc Coquand <marc@mccd.space> | 2023-12-26 15:07:20 -0600 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2023-12-26 15:07:20 -0600 |
| commit | f3c5dc866e429c388aa77375d9045698ccfb904e (patch) | |
| tree | f077c558ea8cdf3dcbb1f3bc3ec4e34233b9ce9c /bin/main.ml | |
| parent | 5746c8d2c9ae2a0696eb5c88931e62e0149e6b85 (diff) | |
| download | fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.tar.gz fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.tar.bz2 fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.zip | |
Support underscore names
Diffstat (limited to 'bin/main.ml')
0 files changed, 0 insertions, 0 deletions