Update gitstats

leanprover-community · Oct 11, 2023 · 9b70330 · 9b70330
1 parent 1a3d2f9
commit 9b70330
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 23 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