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>
Sat, 3 Apr 2010 01:35:52 +0000 (20:35 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 3 Apr 2010 01:35:52 +0000 (20:35 -0500)
commit65d6fc15c5a6bf951c578b8d45932a65fb1a0c63
treedeaba7a65f1beed20401045c4b977e250d4b1bc3
parentc3cc58c287fd4a912919c4546f41026c571b13ec
parentca5fe086b373923b09bf36d75749f46a86ce917b
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel