Reverr package-lock.json changes.

leanprover · May 14, 2020 · 5a6b957 · 5a6b957
1 parent 4426cb8
commit 5a6b957
Showing 1 changed file with 12 additions and 12 deletions.
diff --git a/package-lock.json b/package-lock.json