From f80be7613a0bead1f8ceedeeed17bcf3bd39c095 Mon Sep 17 00:00:00 2001 From: Tuxedo Takodachi Date: Fri, 31 Mar 2023 19:02:54 +0200 Subject: [PATCH] Rename filter.js to .ts --- src/Filtering/{Filter.js => Filter.ts} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/Filtering/{Filter.js => Filter.ts} (100%) diff --git a/src/Filtering/Filter.js b/src/Filtering/Filter.ts similarity index 100% rename from src/Filtering/Filter.js rename to src/Filtering/Filter.ts