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.


Inadvertently missing makefile
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 9 Jan 2017 18:40:41 +0000 (12:40 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 9 Jan 2017 18:40:41 +0000 (12:40 -0600)
commit564dade4aee58eb392b960dd33823b5e030869ac
tree04307c849199fba0652a82207923b427b1091bb4
parent32dfeb120c3b57c33f624e39a2c368ad78b7526d
Inadvertently missing makefile
nautilus/Makefile [new file with mode: 0644]