Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Fix CIDER formatting buttons on Safari #5782

Merged
merged 2 commits into from
Mar 22, 2021
Merged

Fix CIDER formatting buttons on Safari #5782

merged 2 commits into from
Mar 22, 2021

Commits on Mar 22, 2021

  1. docs: update file extensions in CIDER editor documentation

    @germain-gg
    germain-gg committed Mar 22, 2021
    Configuration menu
    Copy the full SHA
    cfbcf12 View commit details
    Browse the repository at this point in the history

  2. fix: CIDER formatting buttons on Safari

    @germain-gg
    germain-gg committed Mar 22, 2021
    Configuration menu
    Copy the full SHA
    0db31df View commit details
    Browse the repository at this point in the history