Update gitstats

leanprover-community · Oct 10, 2023 · 1a3d2f9 · 1a3d2f9
1 parent 60275e4
commit 1a3d2f9
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 25 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/nolints.png b/docs/nolints.png