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 variable warning
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 27 Aug 2009 17:50:12 +0000 (12:50 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 27 Aug 2009 17:50:12 +0000 (12:50 -0500)
commit0e232390dba4ac9732d934315688ecb99effe4f8
treea2cac17aec6f180dfe15bfde7a478169a9de0739
parentb54cbe1dbbe15ed228de7472ea284df96ecce909
added variable warning
palacios/src/devices/cga.c