Update gitstats

leanprover-community · Oct 17, 2023 · 99ec521 · 99ec521
1 parent a4e9da5
commit 99ec521
Show file tree

Hide file tree

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