ubuntu/+source/frama-c:ubuntu/vivid
Last commit made on
2014-04-30
- Get this branch:
-
git clone
-b ubuntu/vivid
https://git.launchpad.net/ubuntu/+source/frama-c
Members of
git-ubuntu import
can upload to this branch.
Log in for directions.
Branch merges
Branch information
- Name:
- ubuntu/vivid
- Repository:
- lp:ubuntu/+source/frama-c
Recent commits
- 5c30e24... by Mehdi
- 41a6083... by Mehdi
- 0b592ba... by Mehdi
- 16931e0... by Stéphane Glondu
- 0d88326... by Mehdi
- 3944963... by Mehdi
- 091410a... by Mehdi
- 7fe240f... by Mehdi
- c83ed79... by Mehdi
- 85b2ea4... by Mehdi