var searchData=
[
  ['about_20the_20library',['About the library',['../about_the_library.html',1,'index']]],
  ['allocation_20names_20and_20user_20data',['Allocation names and user data',['../allocation_annotation.html',1,'index']]]
];