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.


removed internal/outdated documentation
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 19:33:24 +0000 (14:33 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 1 May 2009 19:33:24 +0000 (14:33 -0500)
commit421c054f9e4e08d0cf8b31ee56a396b0792588f1
tree0c0bca0e7f02659acb555f361b500ba409eb91e3
parenta6bb8353586a69e1a7da521f1098815860bec513
removed internal/outdated documentation
CODING_GUIDELINES [deleted file]
RUNNING.LINUX [deleted file]
RUNNING.WINDOWS [deleted file]
SETUP.LINUX [deleted file]
SETUP.WINDOWS [deleted file]