Merge: remove some unwanted files

Pull-Request: #1779
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
Reviewed-by: Romain Chanoir <romain.chanoir@viacesi.fr>

diff --git a/.hgignore b/.hgignore
deleted file mode 100644 (file)
index 011a9e8..0000000
--- a/.hgignore
+++ /dev/null
@@ -1,19 +0,0 @@
-syntax: glob
-*.bak
-.nit_compile*
-*.orig
-nitc
-nitdoc
-doc/stdlib
-
-c_src/*.o
-c_src/*.cksum
-
-tests/*.res
-tests/*.log
-tests/*.bin
-tests/*.err
-tests/alt
-
-syntax: regexp
-

diff --git a/lib/core/collection/m.dot b/lib/core/collection/m.dot
deleted file mode 100644 (file)
index 762472d..0000000
--- a/lib/core/collection/m.dot
+++ /dev/null
@@ -1,14 +0,0 @@
-digraph g {
-rankdir=BT;node[shape=box];
-subgraph cluster_37053984 {
-label=".."
-       m_41649040 [label="kernel"]
-subgraph cluster_37183344 {
-label="../collection"
-       m_38874592 [label="array"]
-       m_40662960 [label="abstract_collection"]
-}
-}
-       m_38874592 -> m_40662960
-       m_40662960 -> m_41649040
-}