var searchData=
[
  ['julian_20smart_0',['Julian Smart',['../plat_motif_install.html#motif_notes',1,'Further notes by Julian Smart'],['../plat_x11_install.html#x11_notes',1,'Further notes by Julian Smart']]]
];
