Skip to content
This repository has been archived by the owner on Oct 13, 2022. It is now read-only.

update dune to 2.6.0 #22

Merged
merged 1 commit into from
Jun 23, 2020
Merged

update dune to 2.6.0 #22

merged 1 commit into from
Jun 23, 2020

Commits on Jun 23, 2020

  1. update dune to 2.6.0

    @anuragsoni
    anuragsoni committed Jun 23, 2020
    Configuration menu
    Copy the full SHA
    96b2918 View commit details
    Browse the repository at this point in the history