aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2023-12-26 09:34:58 -0600
committerMarc Coquand <marc@mccd.space>2023-12-26 09:57:20 -0600
commit742c23d7c5d90b681dcbce92846d57042d2ea467 (patch)
treeb6cf10333e15bc7b748744f7c7af805ca77f222c /dune-project
parent8ac0e27adc8d14a77427351dede1757999c8c709 (diff)
downloadfixgen-742c23d7c5d90b681dcbce92846d57042d2ea467.tar.gz
fixgen-742c23d7c5d90b681dcbce92846d57042d2ea467.tar.bz2
fixgen-742c23d7c5d90b681dcbce92846d57042d2ea467.zip
Add support for ints
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions