var searchData=
[
  ['mandir',['MANDIR',['../sevmgr-paths_8hpp.html#a04048e08366d03d79a8492e4bc6a4f5c',1,'MANDIR(): sevmgr-paths.hpp'],['../sevmgr-paths_8hpp_8in.html#a04048e08366d03d79a8492e4bc6a4f5c',1,'MANDIR(): sevmgr-paths.hpp.in']]]
];