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.


added dev86
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 2 Dec 2008 01:33:44 +0000 (19:33 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 2 Dec 2008 01:33:44 +0000 (19:33 -0600)
commit29fab8c8ad8b810ba57fc32cb771d14b056f4d7c
tree6920251d2790c22f8a7e5e154610f30f9e6bd283
parent1e2852c0e5229702910f42e800d883e3c45c2c41
added dev86
utils/Dev86src-0.16.17.tar.gz [new file with mode: 0644]