summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorAkshay <[email protected]>2021-08-10 16:53:58 +0100
committerAkshay <[email protected]>2021-08-10 16:53:58 +0100
commit08e90070acd6b00ad970caf5c0a2f36c9ea07a5c (patch)
tree5ee55319b58fb024643f1973dd11372ca7bc8474 /dune-project
parent0009c5b600ef1bba1a468ff85f41ee9f961b18b2 (diff)
add connector customization
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions