GDBMI_exec_run.st
changeset 47 4f5d75acecb0
parent 12 568a2971c977
child 61 b68d121e3895
--- a/GDBMI_exec_run.st	Wed Sep 24 09:46:37 2014 +0100
+++ b/GDBMI_exec_run.st	Thu Sep 25 09:40:26 2014 +0100
@@ -91,3 +91,10 @@
 	^ 'exec-run'
 ! !
 
+!GDBMI_exec_run class methodsFor:'documentation'!
+
+version_HG
+
+    ^ '$Changeset: <not expanded> $'
+! !
+