use moreGlobalServerArgs

djvelleman · Jun 22, 2024 · ecda6c7 · ecda6c7
1 parent 86f0a19
commit ecda6c7
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/Images/Ready.png b/Images/Ready.png
diff --git a/docs/How-To-Prove-It-With-Lean.pdf b/docs/How-To-Prove-It-With-Lean.pdf
diff --git a/docs/Images/Ready.png b/docs/Images/Ready.png