Betriebssysteme/hw5/task1/target/doc/search-index.js

var searchIndex = {};
searchIndex["task1"] = {"doc":"","items":[],"paths":[]};
initSearch(searchIndex);