---

yaml
---
r: 125429
b: refs/heads/master
c: c614510
h: refs/heads/master
i:
  125427: a336157
v: v3

Author: jroweboy

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 6b210878a19ffcc806e285f6678a2883eaf407b6
+refs/heads/master: c614510ddb0eca24ee102511feb69a159238a996
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 9fc8394d3bce22ab483f98842434c84c396212ae
 refs/heads/try: e5e0db5bc45aa2de6887fbf51dec013ca5c025c6

trunk/src/librustdoc/html/static/main.js

@@ -112,8 +112,11 @@
         document.location.href = url;
     });
     /**
-     * Code from Stackoverflow to compute the Levenshtein distance between two strings
-     * Written by Marco de Wit at http://stackoverflow.com/a/18514751/745719
+     * A function to compute the Levenshtein distance between two strings
+     * Licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported
+     * Full License can be found at http://creativecommons.org/licenses/by-sa/3.0/legalcode
+     * This code is an unmodified version of the code written by Marco de Wit 
+     * and was found at http://stackoverflow.com/a/18514751/745719
      */
     var levenshtein = (function() {
         var row2 = [];