diff --git a/tools/datetime b/tools/datetime deleted file mode 100644 index e69de29b..00000000 diff --git a/tools/os b/tools/os deleted file mode 100644 index e69de29b..00000000