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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 01b0190)
*** empty log message ***
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 31 Jul 2008 05:22:55 +0000 (05:22 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 31 Jul 2008 05:22:55 +0000 (05:22 +0000)
commit0ed6aacac1d9a05dcd544f692b68af7d25e581aa
tree1673c5ea3aba21331feb2cbd9901651fa7db7c1atree | snapshot
parent01b0190e93dfb45930aece2ba7571219d7bace9dcommit | diff
*** empty log message ***
misc/decoder_test/XED2/lib/libxed.a [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project