Update gitstats

leanprover-community · Oct 31, 2023 · a5081d3 · a5081d3
1 parent b23c5c6
commit a5081d3
Show file tree

Hide file tree

Showing 3 changed files with 52 additions and 52 deletions.
diff --git a/docs/gitstats.cache b/docs/gitstats.cache
diff --git a/docs/gitstats.js b/docs/gitstats.js
diff --git a/docs/gitstats4.js b/docs/gitstats4.js