Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Dec 2009 01:05:02 +0000 (19:05 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Dec 2009 01:05:02 +0000 (19:05 -0600)
commitcbe86f61c0c15313cae03663a64ff36f9887cb8e
tree5f614d2e61643d0e108751f2214d02e2e22550ae
parent123a1ba27ea09c8fa77a1b36ce625b43d7c48b14
parent3852da1444b8ff6d7d057cb324b37ae368cfd688
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel