add art repo into git tools.

5 files changed, 5 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e41d6d1..2445eef 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+art
 client-data
 music
 server-code
diff --git a/git.sh b/git.sh
index d0e8e06..021c98e 100755
--- a/git.sh
+++ b/git.sh
@@ -19,3 +19,4 @@ status server-data server-data
 status tools tools
 status server-code/src/evol evol-hercules
 status music music
+status art art
diff --git a/pull.sh b/pull.sh
index 0a1f8ff..75c5232 100755
--- a/pull.sh
+++ b/pull.sh
@@ -25,3 +25,4 @@ status server-data server-data
 status tools tools
 status server-code/src/evol evol-hercules
 status music music
+status art art
diff --git a/push.sh b/push.sh
index 002ba3d..8c51603 100755
--- a/push.sh
+++ b/push.sh
@@ -21,3 +21,4 @@ status server-data server-data
 status tools tools
 status server-code/src/evol evol-hercules
 status music music
+status art art
diff --git a/status.sh b/status.sh
index 2ea9415..19d3865 100755
--- a/status.sh
+++ b/status.sh
@@ -30,3 +30,4 @@ status server-data server-data
 status tools tools
 status server-code/src/evol evol-hercules
 status music music
+status art art