File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -19,7 +19,6 @@ depopts: [
1919 "ogg" {= version}
2020]
2121build: [
22- ["dune" "subst"] {dev}
2322 [
2423 "dune"
2524 "build"
Original file line number Diff line number Diff line change @@ -16,7 +16,6 @@ depends: [
1616 "odoc" {with-doc}
1717]
1818build: [
19- ["dune" "subst"] {dev}
2019 [
2120 "dune"
2221 "build"
Original file line number Diff line number Diff line change @@ -18,7 +18,6 @@ depends: [
1818 "odoc" {with-doc}
1919]
2020build: [
21- ["dune" "subst"] {dev}
2221 [
2322 "dune"
2423 "build"
Original file line number Diff line number Diff line change @@ -18,7 +18,6 @@ depends: [
1818 "odoc" {with-doc}
1919]
2020build: [
21- ["dune" "subst"] {dev}
2221 [
2322 "dune"
2423 "build"
Original file line number Diff line number Diff line change @@ -16,7 +16,6 @@ depends: [
1616 "odoc" {with-doc}
1717]
1818build: [
19- ["dune" "subst"] {dev}
2019 [
2120 "dune"
2221 "build"
Original file line number Diff line number Diff line change @@ -17,7 +17,6 @@ depends: [
1717 "odoc" {with-doc}
1818]
1919build: [
20- ["dune" "subst"] {dev}
2120 [
2221 "dune"
2322 "build"
You can’t perform that action at this time.
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=40){kind=avatar}
0 commit comments