ubuntu/+source/minisat2:applied/ubuntu/zesty
Last commit made on
2014-07-30
- Get this branch:
-
git clone
-b applied/ubuntu/zesty
https://git.launchpad.net/ubuntu/+source/minisat2
Members of
git-ubuntu import
can upload to this branch.
Log in for directions.
Branch merges
Branch information
- Name:
- applied/ubuntu/zesty
- Repository:
- lp:ubuntu/+source/minisat2
Recent commits
- 35ccef5... by Michael Tautschnig
- 1623ea0... by Michael Tautschnig
- d9cda23... by Michael Tautschnig
- 32c41c3... by Michael Tautschnig
- b06e3f2... by Michael Tautschnig
- cb43b44... by Michael Tautschnig
- 6461183... by Michael Tautschnig
- 4e4ae1b... by Michael Tautschnig
- 828eee3... by Michael Tautschnig
- da6f197... by Michael Tautschnig