overleaf/services
Jakob Ackermann cec854de89 Merge pull request #3225 from overleaf/jpa-scripts-cleanup
[misc] delete unneeded scripts

GitOrigin-RevId: 30b1c97dfde8d2e93b40c0df4cb8be9a963580ad
2020-10-09 02:05:14 +00:00
..
web Merge pull request #3225 from overleaf/jpa-scripts-cleanup 2020-10-09 02:05:14 +00:00