%% 
%% Search data file for otp_mibs 1.2
%% generated June 19, 2018
%% 
{"otp_mib.html", {function, {"otp_mibs", "otp_mib"}},
[
  {"load", "load(Agent)", "load-1"},
  {"unload", "unload(Agent)", "unload-1"}
]}.
{"otp_mib.html", {module, "otp_mibs"}, ["otp_mib"]}.
{notused, application, ["otp_mibs"]}.
