115
116 operation
117 ^ 'enable-timings'
118 ! !
119
120 !GDBMI_enable_timings class methodsFor:'documentation'!
121
122 version_HG
123
124 ^ '$Changeset: <not expanded> $'
125 ! !
126