DavidandCopybot ce074ecf11 Merge pull request #27128 from overleaf/mj-ide-tooltip-teardown ...

[web] Editor Redesign: Tear down editor nudge tooltips

GitOrigin-RevId: 83c412ad782d041c960eba8533ffc49935524b9c

2025-07-16 08:05:07 +00:00

..

src

Merge pull request #27128 from overleaf/mj-ide-tooltip-teardown

2025-07-16 08:05:07 +00:00

templates

[web] De-capitalize english translations (#24123)

2025-05-22 08:07:46 +00:00

views

Merge pull request #27046 from overleaf/rh-header-footer

2025-07-15 08:05:52 +00:00