1 files changed, 0 insertions, 20 deletions
diff --git a/js/src/tool/util/file-times.ts b/js/src/tool/util/file-times.ts
deleted file mode 100644
index 8d36d007d..000000000
--- a/js/src/tool/util/file-times.ts
+++ /dev/null
@@ -1,20 +0,0 @@
-import { App } from "../../app/app";
-
-export namespace FileTimes {
-  export const state = App.state("tool.filetimes", () => ({
-    read: new Map<string, Date>(),
-    write: new Map<string, Date>(),
-  }));
-
-  export function read(filePath: string) {
-    state().read.set(filePath, new Date());
-  }
-
-  export function write(filePath: string) {
-    state().write.set(filePath, new Date());
-  }
-
-  export function get(filePath: string): Date | null {
-    return state().read.get(filePath) || null;
-  }
-}