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: a9cfead)
Changes to Kconfig.stdlibs that aren't actually changes so that git pull works
authorPatrick G. Bridges <bridges@cs.unm.edu>
Sun, 6 Mar 2011 22:55:00 +0000 (16:55 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Sun, 6 Mar 2011 22:55:00 +0000 (16:55 -0600)
commit0095b7c8d0a2912138da589a6b538288b42f0bb3
treeeee0b30a3ae8444d2bc0bb963ad9a8aca89e324ctree | snapshot
parenta9cfeadcd23cc6832572e3855e33769fb38ef6cacommit | diff
Changes to Kconfig.stdlibs that aren't actually changes so that git pull works
Kconfig.stdlibs diff | blob | history
Public Palacios Development Repository for the V3VEE Project