# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@octobus.net>
# Date 1533126374 -7200
#      Wed Aug 01 14:26:14 2018 +0200
# Node ID 5c23bd930d5cda7072a34ef63d3ca07792e5b9ae
# Parent  6f63676f18b4a4215c2e3cdf5466b80d973a7d76
ignore: ignore the repos direction

Having the data processing directory inside the source repository is not ideal,
but this is what we have for now.

diff --git a/.hgignore b/.hgignore
--- a/.hgignore
+++ b/.hgignore
@@ -8,3 +8,4 @@
 html
 **/.testtimes
 tests/*.err
+repos/