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.


Updated vnc server to correspond to new mouse events
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 12 Apr 2013 23:06:48 +0000 (18:06 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Fri, 12 Apr 2013 23:06:48 +0000 (18:06 -0500)
commitd5dc668d15490bc4debf947c11e1aacdc22ac55a
tree2dda863700088234c01cff11b155b5a37dc18184
parent33e6f079afd41e2897ee382886c46ce12f374729
Updated vnc server to correspond to new mouse events
linux_usr/vnc/x0vncserver.cxx
linux_usr/x0vncserver