GDBMI_enable_timings.st
changeset 101 d8fee2af20b2
parent 91 472a4841a8b6
child 259 651864c2aa29
equal deleted inserted replaced
100:aab8dd376f29 101:d8fee2af20b2
   115 
   115 
   116 operation
   116 operation
   117 	^ 'enable-timings'
   117 	^ 'enable-timings'
   118 ! !
   118 ! !
   119 
   119 
       
   120 !GDBMI_enable_timings class methodsFor:'documentation'!
       
   121 
       
   122 version_HG
       
   123 
       
   124     ^ '$Changeset: <not expanded> $'
       
   125 ! !
       
   126