Update gitstats

leanprover-community · Jan 4, 2025 · 2d6d390 · 2d6d390
1 parent d30fe27
commit 2d6d390
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 28 deletions.
diff --git a/docs/gitstats.js b/docs/gitstats.js
diff --git a/docs/gitstats4.js b/docs/gitstats4.js