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.


Force git to create kitten/palacios subdirectory
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 20:56:14 +0000 (15:56 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 20:56:14 +0000 (15:56 -0500)
commitc33dac67849ea2f7171f8bac8977b824e6626e6d
tree407f23e4f2dc52dad9a8d10589d74ca98b3e0fe3
parent538fde94949b2dcf351c9c63bac23ee26c2634f2
Force git to create kitten/palacios subdirectory
kitten/palacios/.do-not-delete [new file with mode: 0644]