GDBMI_exec_continue.st
changeset 18 6bf3d5c400d1
parent 12 568a2971c977
child 78 c24e7d8bc881
--- a/GDBMI_exec_continue.st	Thu Jun 19 10:10:52 2014 +0100
+++ b/GDBMI_exec_continue.st	Thu Jun 19 22:16:26 2014 +0100
@@ -64,3 +64,10 @@
 	^ 'exec-continue'
 ! !
 
+!GDBMI_exec_continue class methodsFor:'documentation'!
+
+version_HG
+
+    ^ '$Changeset: <not expanded> $'
+! !
+