From 839cc36e11499a825f778463c5d8fb1f6e467d21 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 24 Oct 2012 13:21:03 -0700 Subject: [PATCH] moved new ml stuff to src/ml Signed-off-by: Leonardo de Moura --- {ml => src/ml}/README-linux | 0 {ml => src/ml}/README-osx | 0 {ml => src/ml}/README-test-linux | 0 {ml => src/ml}/README-test-osx | 0 {ml => src/ml}/README-test-win | 0 {ml => src/ml}/README-win | 0 {ml => src/ml}/build-lib.cmd | 0 {ml => src/ml}/build-lib.sh | 0 {ml => src/ml}/build-test.cmd | 0 {ml => src/ml}/build-test.sh | 0 {ml => src/ml}/exec.cmd | 0 {ml => src/ml}/exec.sh | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename {ml => src/ml}/README-linux (100%) rename {ml => src/ml}/README-osx (100%) rename {ml => src/ml}/README-test-linux (100%) rename {ml => src/ml}/README-test-osx (100%) rename {ml => src/ml}/README-test-win (100%) rename {ml => src/ml}/README-win (100%) rename {ml => src/ml}/build-lib.cmd (100%) rename {ml => src/ml}/build-lib.sh (100%) rename {ml => src/ml}/build-test.cmd (100%) rename {ml => src/ml}/build-test.sh (100%) rename {ml => src/ml}/exec.cmd (100%) rename {ml => src/ml}/exec.sh (100%) diff --git a/ml/README-linux b/src/ml/README-linux similarity index 100% rename from ml/README-linux rename to src/ml/README-linux diff --git a/ml/README-osx b/src/ml/README-osx similarity index 100% rename from ml/README-osx rename to src/ml/README-osx diff --git a/ml/README-test-linux b/src/ml/README-test-linux similarity index 100% rename from ml/README-test-linux rename to src/ml/README-test-linux diff --git a/ml/README-test-osx b/src/ml/README-test-osx similarity index 100% rename from ml/README-test-osx rename to src/ml/README-test-osx diff --git a/ml/README-test-win b/src/ml/README-test-win similarity index 100% rename from ml/README-test-win rename to src/ml/README-test-win diff --git a/ml/README-win b/src/ml/README-win similarity index 100% rename from ml/README-win rename to src/ml/README-win diff --git a/ml/build-lib.cmd b/src/ml/build-lib.cmd similarity index 100% rename from ml/build-lib.cmd rename to src/ml/build-lib.cmd diff --git a/ml/build-lib.sh b/src/ml/build-lib.sh similarity index 100% rename from ml/build-lib.sh rename to src/ml/build-lib.sh diff --git a/ml/build-test.cmd b/src/ml/build-test.cmd similarity index 100% rename from ml/build-test.cmd rename to src/ml/build-test.cmd diff --git a/ml/build-test.sh b/src/ml/build-test.sh similarity index 100% rename from ml/build-test.sh rename to src/ml/build-test.sh diff --git a/ml/exec.cmd b/src/ml/exec.cmd similarity index 100% rename from ml/exec.cmd rename to src/ml/exec.cmd diff --git a/ml/exec.sh b/src/ml/exec.sh similarity index 100% rename from ml/exec.sh rename to src/ml/exec.sh