mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-13 17:27:42 +00:00
bdb653d94e
Bug: 69869 Change-Id: I1b058ea1dc6c5c3e10ff2de39f03ddd72207e57e
3 lines
31 B
Plaintext
3 lines
31 B
Plaintext
# upstream libs
|
|
resources/lib/
|