This commit is contained in:
Reynir Björnsson 2018-08-20 17:17:36 -04:00
parent ecedcf3bd6
commit b15c59db4d

1
opam
View file

@ -7,4 +7,5 @@ depends: [
"ocp-index"
"ocp-browser"
"ocp-indent"
"utop"
]