aboutsummaryrefslogtreecommitdiff
path: root/lib/sharder.ml
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-30 09:18:11 -0700
committerAdelyn Breelove <[email protected]>2019-01-30 09:18:11 -0700
commit7dce87a22a7498d5b02e03d1256018617e744b86 (patch)
treedc960756b4a45d80b7943bc1397f9f33bd633fb8 /lib/sharder.ml
parentUpdate README (diff)
downloaddisml-7dce87a22a7498d5b02e03d1256018617e744b86.tar.xz
disml-7dce87a22a7498d5b02e03d1256018617e744b86.zip
Update CI to exclude doc build on MR
Diffstat (limited to 'lib/sharder.ml')
0 files changed, 0 insertions, 0 deletions