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 / commitdiff
? search: re
summary | shortlog | log | commit | commitdiff | tree
raw (parent: 04236f0)
A bit of cleanup
Peter Dinda [Thu, 28 Jan 2010 01:22:18 +0000 (19:22 -0600)]
README [new file with mode: 0644] patch | blob
manual.pdf [new file with mode: 0644] patch | blob
scripts/SETUP_DEV_ENV.pl [moved from SETUP_DEV_ENV.pl with 100% similarity] patch | blob | history

diff --git a/README b/README
new file mode 100644 (file)
index 0000000..c9d0b20
--- /dev/null
+++ b/README
@@ -0,0 +1,3 @@
+To begin, please consult manual.pdf.
+
+
diff --git a/manual.pdf b/manual.pdf
new file mode 100644 (file)
index 0000000..7988d52
Binary files /dev/null and b/manual.pdf differ
diff --git a/SETUP_DEV_ENV.pl b/scripts/SETUP_DEV_ENV.pl
similarity index 100%
rename from SETUP_DEV_ENV.pl
rename to scripts/SETUP_DEV_ENV.pl
Public Palacios Development Repository for the V3VEE Project