/usr/share/doc/simgrid/html/navtreedata.js is in simgrid-doc 3.14.159-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | var NAVTREE =
[
[ "SimGrid", "index.html", [
[ "SimGrid User Documentation", "index.html", "index" ],
[ "APIs Reference", "modules.html", "modules" ]
] ]
];
var NAVTREEINDEX =
[
"FAQ.html",
"classsimgrid_1_1s4u_1_1VirtualMachine.html#a1cb3aee62a68f580e4b5bb7726c622e4",
"classsimgrid_1_1surf_1_1Storage.html#afb3190cd3bd4b04c16d972818355810e",
"group__SURF__models.html#ga6e030758d6ca2356ed97f7bba4663898",
"group__XBT__ex__c.html#ga8b6429c569f0a1eb829af7146535e63a",
"group__XBT__thread.html#gaadef5f616acc33d8a0015db48861b511",
"group__simix__process__management.html#ga32510c651892c731e6f3f89f06f142fb",
"platform.html#pf_ne"
];
var SYNCONMSG = 'click to disable panel synchronisation';
var SYNCOFFMSG = 'click to enable panel synchronisation';
|