This commit was manufactured by cvs2svn to create tag 'RELEASE_1_2_5'.

hswong3i · May 13, 2008 · 1fac27b · 1fac27b
1 parent 20eb83c
commit 1fac27b
Show file tree

Hide file tree

Showing 8,199 changed files with 0 additions and 1,613,270 deletions.
diff --git a/.gdbinit b/.gdbinit
diff --git a/CODING_STANDARDS b/CODING_STANDARDS
diff --git a/CREDITS b/CREDITS