Merge overleaf-2021-01-09-0117 into master

joaomlourenco · Jan 9, 2021 · 9d9b58a · 9d9b58a
2 parents 6ab2dd2 + 5472898
commit 9d9b58a
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 0 deletions.
diff --git a/Scripts/extract.sh b/Scripts/extract.sh
diff --git a/Scripts/latex-clean-temp.sh b/Scripts/latex-clean-temp.sh
diff --git a/Scripts/newversion.sh b/Scripts/newversion.sh
diff --git a/Scripts/patchfile.py b/Scripts/patchfile.py
diff --git a/Scripts/runtests.sh b/Scripts/runtests.sh
diff --git a/Scripts/update-to-overleaf.sh b/Scripts/update-to-overleaf.sh