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.


Reinstate v3_console (accidental delete)
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 23:08:42 +0000 (18:08 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 20 Jun 2012 23:08:42 +0000 (18:08 -0500)
commit9aee4d463c4401f25142ba43ddbb720e4e129340
treefac47a79c1329f96fc026353483d2f0e7d3443ea
parentc6376e3af2c48a2ec22e8521a3f96fa7923bf264
Reinstate v3_console (accidental delete)
linux_usr/v3_console [new file with mode: 0755]