equal
deleted
inserted
replaced
945 default=0.999, |
945 default=0.999, |
946 ) |
946 ) |
947 coreconfigitem('profiling', 'showmin', |
947 coreconfigitem('profiling', 'showmin', |
948 default=dynamicdefault, |
948 default=dynamicdefault, |
949 ) |
949 ) |
|
950 coreconfigitem('profiling', 'showtime', |
|
951 default=True, |
|
952 ) |
950 coreconfigitem('profiling', 'sort', |
953 coreconfigitem('profiling', 'sort', |
951 default='inlinetime', |
954 default='inlinetime', |
952 ) |
955 ) |
953 coreconfigitem('profiling', 'statformat', |
956 coreconfigitem('profiling', 'statformat', |
954 default='hotpath', |
957 default='hotpath', |