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