Leonidas-from-XIV's Repositories

Leonidas-from-XIV / dune

7%
Build #287:   Add pins of dune-project to Dyn representation (#11187) Signed-off-by: Marek Kubica <m... on branch main 10 months ago
main: 7%
DEFAULT BRANCH: main

Leonidas-from-XIV / node-xml2js

98%
Build #415:   Merge 581b19a62d88f8a3c068b5a45f4542c2d6a495a5 into 1832e0b6b2de30a5e326d1cf21708cd3230... on branch master over 4 years ago
master: 98%
DEFAULT BRANCH: master