aboutsummaryrefslogtreecommitdiff
path: root/lib/basic.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-16 13:59:36 -0500
committerMarc Coquand <marc@mccd.space>2024-05-16 13:59:36 -0500
commit53521711a7cf4eb63190cd4e780b509ac4a1708f (patch)
treed2baee64b7b611d1cced3902f1002d1b9b335031 /lib/basic.ml
parent661996eca88b96b93cb112a7c6819ebb1722ef55 (diff)
downloadstitch-53521711a7cf4eb63190cd4e780b509ac4a1708f.tar.gz
stitch-53521711a7cf4eb63190cd4e780b509ac4a1708f.tar.bz2
stitch-53521711a7cf4eb63190cd4e780b509ac4a1708f.zip
README: Shorter quote
Diffstat (limited to 'lib/basic.ml')
0 files changed, 0 insertions, 0 deletions