about summary refs log tree commit diff
path: root/dune-project
diff options
context:
space:
mode:
authorMalte Voos <git@mal.tc>2024-02-20 12:48:36 +0100
committerMalte Voos <git@mal.tc>2024-02-20 12:48:36 +0100
commit5252fe93e5e7ef77888c06c97de4e350dce90448 (patch)
treeda057c49ece07e6fd80ec55ad59fbf337162063a /dune-project
parent407a2a4a0a440c41adc19fbe8b67283b7b7c65ab (diff)
downloadtoytt-5252fe93e5e7ef77888c06c97de4e350dce90448.tar.gz
toytt-5252fe93e5e7ef77888c06c97de4e350dce90448.zip
nbe: quotation
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions