summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorMateus Cruz <mateuscolvr@gmail.com>2024-02-06 02:56:02 -0300
committerMateus Cruz <mateuscolvr@gmail.com>2024-02-06 02:56:02 -0300
commitdb882cae080d3820f1723a711398c21db27f826a (patch)
tree521898630757be1b8056539d919ded3aa69a66ba /dune-project
parent7c92898c8f0adb4a6014ce5f434a7d862a0cdc57 (diff)
small refactor
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions