Skip to content

Commit

Permalink
Remove empty section and obsolete graph.
Browse files Browse the repository at this point in the history
  • Loading branch information
PatrickMassot committed Oct 24, 2023
1 parent 38014e8 commit 3289d6a
Showing 1 changed file with 0 additions and 13 deletions.
13 changes: 0 additions & 13 deletions templates/mathlib_stats.html
Original file line number Diff line number Diff line change
Expand Up @@ -32,19 +32,6 @@ <h2>Temporal distribution</h2>

<canvas id="by_year"></canvas>

<h2>Authors</h2>

<div>
<div id="authors_table"></div>
</div>

<canvas id="lines_by_authors" class="mt-5"></canvas>

<canvas id="commits_by_authors"></canvas>

<h2>Dependency graph</h2>

<p>A visualization showing how the various topics in mathlib interact and their relative sizes can be found <a href="https://eric-wieser.github.io/mathlib-import-graph">here</a>.</p>
{% endblock %}

{% block extrajs %}
Expand Down

0 comments on commit 3289d6a

Please sign in to comment.