From a839e8f0b17d1b57005dae92257f6e32caf92bad Mon Sep 17 00:00:00 2001 From: johnshaughnessy <johnfshaughnessy@gmail.com> Date: Fri, 9 Nov 2018 11:18:00 -0800 Subject: [PATCH] remove unused function --- src/systems/userinput/userinput.js | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/systems/userinput/userinput.js b/src/systems/userinput/userinput.js index c813552c6..1ad07d7d3 100644 --- a/src/systems/userinput/userinput.js +++ b/src/systems/userinput/userinput.js @@ -69,18 +69,6 @@ function dependencySort(mappings) { return sorted; } -//function computeDepsDAG(bindings) { -// const dag = []; -// for (const row in bindings) { -// for (const col in bindings) { -// for (const path of bindings[row].src) { -// dag[Number(row) * bindings.length + Number(col)] = satisfiesPath(bindings[col], path) ? 1 : 0; -// } -// } -// } -// return dag; -//} - function canMask(masker, masked) { if (masker.priority === undefined) { console.warn("priority undefined", masker); -- GitLab