diff .hgtags @ 32850:e33c9a47b0db

config: document profiling.show{min,max}
author Gregory Szorc <gregory.szorc@gmail.com>
date Thu, 15 Jun 2017 11:04:46 -0700
parents 028e6b1fd119
children 1f37b084e8e7 fef451e3d9ca
line wrap: on
line diff