Commit 0768807
committed
Reporter: remove redundant property
This property was introduced in commit 9eaaccd (March 2014) and made redundant in commit f61025c (March 2015) by the introduction of the `Util\Timing` class. It hasn't been used since.
Time to remove this dead wood.1 parent 3303dd9 commit 0768807
1 file changed
Lines changed: 0 additions & 7 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
60 | 60 | | |
61 | 61 | | |
62 | 62 | | |
63 | | - | |
64 | | - | |
65 | | - | |
66 | | - | |
67 | | - | |
68 | | - | |
69 | | - | |
70 | 63 | | |
71 | 64 | | |
72 | 65 | | |
| |||
0 commit comments