Update gitstats

leanprover-community · Oct 10, 2024 · 53ce9ea · 53ce9ea
1 parent 5208d92
commit 53ce9ea
Show file tree

Hide file tree

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