aboutsummaryrefslogtreecommitdiff
path: root/lib/sig.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-01-12 07:57:55 -0600
committerMarc Coquand <marc@mccd.space>2024-01-12 07:57:55 -0600
commit014feebff76f5bb5e711a3897ed930d8e4f009c1 (patch)
tree1ffe3655dd7eb3af1669e2e02b93007cfc92d081 /lib/sig.ml
parent19101c06ad40a10a00f9bd8d8abbaee508803488 (diff)
downloadfixgen-014feebff76f5bb5e711a3897ed930d8e4f009c1.tar.gz
fixgen-014feebff76f5bb5e711a3897ed930d8e4f009c1.tar.bz2
fixgen-014feebff76f5bb5e711a3897ed930d8e4f009c1.zip
Remove TODO item
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions