diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..bf65263
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+HAMLET/
diff --git a/HAMLET b/HAMLET
deleted file mode 160000
index 22a03a4..0000000
--- a/HAMLET
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 22a03a4097aadb6db680dc8dae9f4c2bf8dc46e0