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.


*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 31 Jul 2008 05:12:45 +0000 (05:12 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 31 Jul 2008 05:12:45 +0000 (05:12 +0000)
commitea495e507dc9962b207862c7b708eb9bc736a895
tree1673c5ea3aba21331feb2cbd9901651fa7db7c1a
parentf7e882c9c3afda490c82e1caa4b52487d7e2e80f
*** empty log message ***
misc/decoder_test/.dependencies [new file with mode: 0644]
misc/decoder_test/XED2/lib/libxed.a [new file with mode: 0644]