wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-14 17:55:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
755 commits 277 branches 0 tags 46 MiB
Commit graph

1 commit

Author SHA1 Message Date
Derk-Jan Hartman 99db78cd23 CodeMirror: Add COPYING file and credit for CodeMirror authors 
Bug: T234086
Change-Id: I44460b26fc367f0415073a7221226069799e1b1c
 2020-03-02 21:34:06 +00:00