Added description file for git server.

Pascal J. Bourguignon [2012-12-18 14:59]
Added description file for git server.
Filename
description
diff --git a/description b/description
new file mode 100644
index 0000000..5c14aa9
--- /dev/null
+++ b/description
@@ -0,0 +1 @@
+Informatimago's Implementation of the MINE Game
ViewGit