diff .editorconfig @ 29796:88d3c1ab03a7

profiling: don't error with statprof when profiling has already started statprof.reset() asserts if profiling has already started. So don't call if it profiling is already running.
author Gregory Szorc <gregory.szorc@gmail.com>
date Sun, 14 Aug 2016 18:28:43 -0700
parents d30fdd6d1bf7
children 1d6066336d7b
line wrap: on
line diff