summaryrefslogtreecommitdiffstats
path: root/dune-project
diff options
context:
space:
mode:
authorScott Lawrence <scott+git@ineffectivetheory.com>2024-06-26 21:16:21 -0700
committerScott Lawrence <scott+git@ineffectivetheory.com>2024-06-26 21:16:21 -0700
commita4c197dea1a0192b93e205daf8738f99a4f039b2 (patch)
tree0d6ff8063a1c0df0174524b1ea239b36821912a6 /dune-project
parent490ab998999e033e91929f63d2deae4900c90375 (diff)
downloadagate-a4c197dea1a0192b93e205daf8738f99a4f039b2.tar.gz
agate-a4c197dea1a0192b93e205daf8738f99a4f039b2.tar.bz2
agate-a4c197dea1a0192b93e205daf8738f99a4f039b2.zip
Possibly shifting to a single script
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions