%% 
%% Search data file for jinterface 1.12.1
%% generated October 17, 2025
%% 
{"jinterface.html", {function, {"jinterface", "jinterface"}},
[
]}.
{"jinterface.html", {module, "jinterface"}, ["jinterface"]}.
{notused, application, ["jinterface"]}.
