Skip to content
This repository has been archived by the owner on Dec 15, 2022. It is now read-only.

Don't watch editors more than once if they're re-added to the workspace #324

Merged
merged 1 commit into from
Oct 21, 2017

Commits on Oct 20, 2017

  1. Configuration menu
    Copy the full SHA
    721d19c View commit details
    Browse the repository at this point in the history