Commit 1cf9c4c2 authored by erwan's avatar erwan
Browse files

Chore: lib/polka/ was generated both by lib/polka/ and lutin.opam

parent 9989e565
Pipeline #70924 passed with stages
in 5 minutes
......@@ -32,8 +32,6 @@ depends: [
"rdbg" {>= "1.196.9"}
build: [
[make "lib/lutin/"]
[make "lib/polka/"]
["dune" "build" "-p" name "-j" jobs]
install: [make "install"]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment