Reorder the folders in tools to prepare moving tools/editor

- `certs` and `editor_fonts` go to `thirdparty`
- `dist` and `scripts` go to a new `misc` folder
- `collada` and `doc` go to `tools/editor`

The next step will be to rename `tools/editor` to `editor` directly,
but this will be done at the right time to avoid breaking too many PRs.

1 files changed, 0 insertions, 35 deletions

diff --git a/tools/scripts/memsort.py b/tools/scripts/memsort.py
deleted file mode 100644
index fb636b0f78..0000000000
--- a/tools/scripts/memsort.py
+++ /dev/null
@@ -1,35 +0,0 @@
-
-import sys
-
-arg = "memdump.txt"
-
-if (len(sys.argv) > 1):
-    arg = sys.argv[1]
-
-f = open(arg, "rb")
-
-
-l = f.readline()
-
-
-sum = {}
-cnt = {}
-
-
-while(l != ""):
-
-    s = l.split("-")
-    amount = int(s[1])
-    what = s[2]
-    if (what in sum):
-        sum[what] += amount
-        cnt[what] += 1
-    else:
-        sum[what] = amount
-        cnt[what] = 1
-
-    l = f.readline()
-
-
-for x in sum:
-    print(x.strip() + "(" + str(cnt[x]) + "):\n: " + str(sum[x]))