aboutsummaryrefslogtreecommitdiff
path: root/lib/opcode.ml
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-18 11:13:58 -0700
committerAdelyn Breelove <[email protected]>2019-01-18 11:13:58 -0700
commitb5bb07d5c0af81c43b15493b6698749f197c31bb (patch)
tree6e5661b7aef316d1e6a7bd25ca30febbdb62224a /lib/opcode.ml
parentGitHub needs to named /docs not /doc (diff)
downloaddisml-b5bb07d5c0af81c43b15493b6698749f197c31bb.tar.xz
disml-b5bb07d5c0af81c43b15493b6698749f197c31bb.zip
fix doc link in opam
Diffstat (limited to 'lib/opcode.ml')
0 files changed, 0 insertions, 0 deletions