Mathias Jakobsen 03e7df0f18 Merge pull request #23660 from overleaf/mj-history-tooltip ...

[web] Editor redesign: Add tooltip to history button

GitOrigin-RevId: c14dab2c6d62d10312f9d5097fd95cad5cae1397

2025-02-19 09:05:17 +00:00

..

fonts

Merge pull request #23576 from overleaf/mj-ide-redesign-font

2025-02-13 09:06:47 +00:00

js

Merge pull request #23660 from overleaf/mj-history-tooltip

2025-02-19 09:05:17 +00:00

macros

Merge pull request #19764 from overleaf/jpa-server-pro-cache

2024-08-07 08:04:24 +00:00

stories

Merge pull request #23503 from overleaf/as-compile-timeout-paywall-primary

2025-02-14 09:04:07 +00:00

stylesheets

Merge pull request #23656 from overleaf/mj-ide-toolbar-buttons

2025-02-19 09:05:12 +00:00

extracted-translations.json

Merge pull request #23597 from overleaf/dp-integrations-panel

2025-02-19 09:05:02 +00:00

translations-loader.js

…