GDBMI_exec_next.st
changeset 109 f57ce907abf4
parent 91 472a4841a8b6
child 259 651864c2aa29
--- a/GDBMI_exec_next.st	Tue Feb 13 22:13:28 2018 +0000
+++ b/GDBMI_exec_next.st	Tue Feb 13 22:35:15 2018 +0000
@@ -93,3 +93,10 @@
 	^ 'exec-next'
 ! !
 
+!GDBMI_exec_next class methodsFor:'documentation'!
+
+version_HG
+
+    ^ '$Changeset: <not expanded> $'
+! !
+