mirror of
https://github.com/overleaf/overleaf.git
synced 2025-01-13 16:50:50 +00:00
d9e4bda90b
Ensure history label dissapears from UI when deleted GitOrigin-RevId: fe48cbce9fbd70f7008043dc202a5d985bd6c5fb |
||
---|---|---|
.. | ||
editor/aceEditor/spell-check | ||
history |