mirror of
https://github.com/Decentralized-ID/decentralized-id.github.io.git
synced 2025-08-21 20:38:35 -04:00
upgrade to current mm
This commit is contained in:
parent
0808108a28
commit
455eb96b82
37 changed files with 12083 additions and 7169 deletions
|
@ -475,8 +475,6 @@ var idx = lunr(function () {
|
|||
}
|
||||
});
|
||||
|
||||
console.log( jQuery.type(idx) );
|
||||
|
||||
$(document).ready(function() {
|
||||
$('input#search').on('keyup', function () {
|
||||
var resultdiv = $('#results');
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue