Commits on Source (9)
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
-
Stephane Glondu authored
Update to upstream version '1.2.0' with Debian dir 185415187e8a510e9962d9ec2af5822e62853eab
-
Stephane Glondu authored
-
Stephane Glondu authored
Remove two patches that fix problems that were fixed upstream.
-
Stephane Glondu authored
.gitignore
0 → 100644
.project
deleted
100644 → 0
.travis.yml
0 → 100644
CHANGES
deleted
100644 → 0
CHANGES.darcs
deleted
100644 → 0
This diff is collapsed.
CHANGES.md
0 → 100644
Makefile
deleted
100644 → 0
README
deleted
100644 → 0
README.md
0 → 100644
_oasis
deleted
100644 → 0
_tags
deleted
100644 → 0
bindings/hal/dune
0 → 100644
bindings/hal/hal.mllib
deleted
100644 → 0
bindings/hal/obus-hal.mllib
deleted
100644 → 0
bindings/network-manager/dune
0 → 100644