PR #5782 Fix CIDER formatting buttons on Safari

Fix CIDER formatting buttons on Safari #5782

germain-gg merged 2 commits into develop from gsouquet-fix-cider-formatting-safari

docs: update file extensions in CIDER editor documentation

cfbcf12e

fix: CIDER formatting buttons on Safari

0db31dfe

germain-gg added bug

germain-gg requested a review 5 years ago

t3chguy commented on 2021-03-22

t3chguy approved these changes on 2021-03-22

jryans changed the title ~~fix: CIDER formatting buttons on Safari~~ Fix CIDER formatting buttons on Safari 5 years ago

germain-gg merged c0c8a554 into develop 5 years ago

germain-gg deleted the gsouquet-fix-cider-formatting-safari branch 5 years ago

Reviewers

t3chguy

Assignees

No one assigned

Labels

None yet

Milestone

No milestone