opensuse
ryppl-sat-solver
-
Cloning this repository:
git clone git://gitorious.org/+ryppl/opensuse/ryppl-sat-solver.git ryppl-sat-solver cd ryppl-sat-solver
Add this repository as a remote to an existing local repository:
git remote add ryppl-sat-solver git://gitorious.org/+ryppl/opensuse/ryppl-sat-solver.git git fetch ryppl-sat-solver git checkout -b my-local-tracking-branch ryppl-sat-solver/master_or_other_branch
- Branches:
- master
- SuSE-Code-11-Branch
- SuSE-Code-11_2-Branch
- SuSE-Code-11_3-Branch
- and 1 more…
- Clone of:
- sat-solver-moved-to-github
Activities 
-
Monday November 08 2010
-
Push
05:34
dabrahams pushed 8 commits to +ryppl/opensuse/ryppl-sat-solver:master
master changed from 63145db to 8349b67

-
Repository
05:33
dabrahams cloned opensuse/sat-solver-moved-to-github
New repository is in ryppl-sat-solver
-

