From 84272d66c604b9c147ecec6f4d84aedba9aeea41 Mon Sep 17 00:00:00 2001 From: Liang Ding Date: Tue, 9 Sep 2014 11:46:08 +0800 Subject: [PATCH] . --- .gitignore | 9 +++++++-- data/user_workspaces/README | 1 + data/workspace/README | 1 + 3 files changed, 9 insertions(+), 2 deletions(-) create mode 100644 data/user_workspaces/README create mode 100644 data/workspace/README diff --git a/.gitignore b/.gitignore index 77a069b..678d1e6 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,9 @@ /**/*.exe -/data/workspace/ -/data/user_workspaces/ \ No newline at end of file +/data/workspace/bin/ +/data/workspace/pkg/ +/data/workspace/src/ + +/data/user_workspaces/*/bin/ +/data/user_workspaces/*/pkg/ +/data/user_workspaces/*/src/ diff --git a/data/user_workspaces/README b/data/user_workspaces/README new file mode 100644 index 0000000..77c7c49 --- /dev/null +++ b/data/user_workspaces/README @@ -0,0 +1 @@ +User workspaces. \ No newline at end of file diff --git a/data/workspace/README b/data/workspace/README new file mode 100644 index 0000000..ba348ad --- /dev/null +++ b/data/workspace/README @@ -0,0 +1 @@ +Master workspace. \ No newline at end of file