wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-12-19 02:00:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
718 commits 13 branches 25 tags 28 MiB
Commit graph

2 commits

Author SHA1 Message Date
Kghbln ab06a36cd0 License information 
* Adds license label to "Special:Version"
* Makes more visible that only the extension and not the bundled
  software is licensed GPL-2.0+

Change-Id: I778212bb96edcc4e10714447b8ef57f8ce87b5ef
 2016-03-09 17:27:45 +01:00
Reedy d6bc2282db Add COPYING 
Change-Id: I9db9af4ad29641e66e71876002d56f5aa5462c58
 2014-03-01 16:20:02 +00:00