Changes between Version 11 and Version 12 of CodeMirrors


Ignore:
Timestamp:
Apr 9, 2023, 3:02:16 AM (13 months ago)
Author:
strk
Comment:

tweak wording

Legend:

Unmodified
Added
Removed
Modified

  • CodeMirrors

    v11 v12  
    1 There are currently three mirrors of the official [CodeRepository repository]:
     1These are the currently managed mirrors of the official [CodeRepository repository]:
    22
    33 - [[GitLab|gitlab.com]] - Needs a gitlab.com or github.com account