branch: master commit e161fc0a9d5259d06ec940ff10167b5a83177b94 Merge: 50ca8d3 bb6bbad Author: João Távora <joaotav...@gmail.com> Commit: João Távora <joaotav...@gmail.com>
Merge pull request #542 from tarsius/nosearch Add file doc/.nosearch --- 0 files changed, 0 insertions(+), 0 deletions(-) diff --git a/doc/.nosearch b/doc/.nosearch new file mode 100644 index 0000000..e69de29