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.


Library and tools for manipulating text and binary file ("KEYED STREAM file: / textfi...
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:22:29 +0000 (11:22 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 26 Dec 2012 17:32:46 +0000 (11:32 -0600)
commit4c93cb1f1bafd622ef296ff8288f2cb2a76a062a
treee913ae8ae4a5f9586e7c033cf162ce950cece51b
parent90171715341d6bf626528feb695f1c680a91335f
Library and tools for manipulating text and binary file ("KEYED STREAM file: / textfile:") checkpoints at user level.
linux_usr/checkpoint/v3_checkpoint_copy_binary_dir_to_ini_dir_or_file.pl [new file with mode: 0755]
linux_usr/checkpoint/v3_checkpoint_copy_binary_file_to_ini_file.pl [new file with mode: 0755]
linux_usr/checkpoint/v3_checkpoint_copy_ini_dir_to_binary_dir.pl [new file with mode: 0755]
linux_usr/checkpoint/v3_checkpoint_file.pm [new file with mode: 0644]