Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mapsme/omim.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorrachytski <siarhei.rachytski@gmail.com>2011-06-25 11:35:58 +0400
committerAlex Zolotarev <alex@maps.me>2015-09-23 01:20:09 +0300
commitffabf8bc74c4f91d823138fb3add10b2505740f2 (patch)
treefc13a90834d21d2e027f1b3377abfa211c22e374 /.gitignore
parentdb89d52ae959abc6d3ad52621478d0f5fb68eed0 (diff)
added data/benchmarks directory to contain benchmark related info and results.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2197f560aa..851fbe867b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -80,6 +80,10 @@ data/settings.ini
data/index.idx
data/index.stamp
+# benchmark results
+data/benchmarks/*.trace
+data/benchmarks/results.txt
+
syntax: regexp
(.*/)?\#[^/]*\#$