renaming files, to avoid having multiple files with same module name

h4ck3rm1k3 · May 16, 2012 · 6a39796 · 6a39796
1 parent 85d504c
commit 6a39796
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 649 deletions.
diff --git a/external/phylomel/opengl/phylog.ml → external/phylomel/opengl/phylog_opengl.ml b/external/phylomel/opengl/phylog.ml → external/phylomel/opengl/phylog_opengl.ml
diff --git a/external/phylomel/opengl/utils.ml → external/phylomel/opengl/utils2.ml b/external/phylomel/opengl/utils.ml → external/phylomel/opengl/utils2.ml