From f8adb0994a9fad7126bdfca176603ce5000e019f Mon Sep 17 00:00:00 2001 From: Rob Lewis Date: Sun, 22 Oct 2023 14:25:50 -0400 Subject: [PATCH] delete dead code --- templates/mathlib_stats.html | 8 -------- 1 file changed, 8 deletions(-) diff --git a/templates/mathlib_stats.html b/templates/mathlib_stats.html index 84cf4135d0..dedffc26a2 100644 --- a/templates/mathlib_stats.html +++ b/templates/mathlib_stats.html @@ -81,12 +81,6 @@

Dependency graph

mathlib4_data.data = Array(missing_len).fill(0).concat(mathlib4_data.data) } - function pad_mathlib4_array(index, mathlib3_lines, mathlib4_lines) { - missing_len = mathlib3_lines[index].length - mathlib4_lines[index].length - alert(missing_len) - mathlib4_lines[index] = Array(missing_len).fill(0).concat(mathlib4_lines[index]) - } - function merge_timestamps_and_values(mathlib3_ts, mathlib3_vals, mathlib4_ts, mathlib4_vals) { // Initialize arrays for merged timestamps, mathlib3 values, and mathlib4 values const mergedTimestamps = []; @@ -251,8 +245,6 @@

Dependency graph

window.onload = function() { pad_mathlib4_data(by_year_month, by_year_month4) pad_mathlib4_data(by_year, by_year4) - // pad_mathlib4_array('Number of lines', lines_by_date, lines_by_date4) - // pad_mathlib4_array('Number of files', files_by_date, files_by_date4) makeBarChart('by_year_month', 'Commits by month', by_year_month, by_year_month4) makeBarChart('by_year', 'Commits by year', by_year, by_year4)