%% %% Search data file for otp_mibs 1.0.7 %% generated December 6 2012 %% {"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"]}.