branch: master commit e161fc0a9d5259d06ec940ff10167b5a83177b94 Merge: 50ca8d3 bb6bbad Author: João Távora <[email protected]> Commit: João Távora <[email protected]>
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
