Supporting new opam-graph scoping of CSS #97

Merged
rand merged 2 commits from 20220315_supporting_new_opam-graph_scoping_of_CSS into main 11 months ago
rand commented 11 months ago
Owner

This PR depends on robur/opam-graph#5

This PR depends on https://git.robur.io/robur/opam-graph/pulls/5
rand added 1 commit 11 months ago
Owner

Looks good to me

Looks good to me
rand added 1 commit 11 months ago
rand merged commit 7356950897 into main 11 months ago
The pull request has been merged as 7356950897.
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: robur/builder-web#97
Loading…
There is no content yet.