add option to disable use of stats entirely
authorChristian Grothoff <christian@grothoff.org>
Thu, 8 Nov 2012 15:12:12 +0000 (15:12 +0000)
committerChristian Grothoff <christian@grothoff.org>
Thu, 8 Nov 2012 15:12:12 +0000 (15:12 +0000)
commit5edb234d215611914d8e9e9953fe4f0a4439c383
tree5d527e4af3dc6f2f902ce35fd8f9e3398985085f
parent02842f3f05e1cd5030bb56541645581a75f7b788
add option to disable use of stats entirely
src/statistics/statistics_api.c