Changes between Version 11 and Version 12 of CodeMirrors


Ignore:
Timestamp:
04/09/23 03:02:16 (19 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