Index: Source/devtools/front_end/cm/markselection.js |
diff --git a/Source/devtools/front_end/cm/markselection.js b/Source/devtools/front_end/cm/markselection.js |
index ae0d393143845f055178aa1fefdd63038e66eed4..5c42d21eb2d0d00e65d7a1fe139cf767f2ead084 100644 |
--- a/Source/devtools/front_end/cm/markselection.js |
+++ b/Source/devtools/front_end/cm/markselection.js |
@@ -1,3 +1,6 @@ |
+// CodeMirror, copyright (c) by Marijn Haverbeke and others |
+// Distributed under an MIT license: http://codemirror.net/LICENSE |
+ |
// Because sometimes you need to mark the selected *text*. |
// |
// Adds an option 'styleSelectedText' which, when enabled, gives |