A web-based collaborative LaTeX editor
Find a file
Eric Mc Sween c09bc0e868 Add a "flush: false" option to the doc delete endpoint
This will delete the document from Redis without flushing to web,
docstore or history. To be used when something is broken.
2020-03-07 08:59:15 -05:00
services/document-updater Add a "flush: false" option to the doc delete endpoint 2020-03-07 08:59:15 -05:00