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: 2b94dbc)
Create xed library
authorLei Xia <xiaxlei@gmail.com>
Mon, 21 Jul 2008 16:24:14 +0000 (16:24 +0000)
committerLei Xia <xiaxlei@gmail.com>
Mon, 21 Jul 2008 16:24:14 +0000 (16:24 +0000)
commit8f5f3bad162017ee931d13dd1b7ba0f7b5045223
tree22c4bda497cf23769ff9db18dbbf5032c932949btree | snapshot
parent2b94dbc60bfe8f2e272a1fbde4a4e96582bfabd4commit | diff
Create xed library
palacios/lib/xed/libxed.a [new file with mode: 0644] blob
Public Palacios Development Repository for the V3VEE Project