Move some internal tools out of the way, to not scare users.

[simgrid.git] / tools / spell_dict.txt

diff --git a/tools/spell_dict.txt b/tools/spell_dict.txt
deleted file mode 100644 (file)
index d1cddee..0000000
--- a/tools/spell_dict.txt
+++ /dev/null
@@ -1,13 +0,0 @@
-const
-cplusplus
-SimGrid
-param
-FIXME
-TODO
-todo
-LGPL
-src
-dst
-lat
-lmm
-pstate