GDBMI_var_set_format.st
changeset 104 4add55336dfe
parent 91 472a4841a8b6
child 259 651864c2aa29
--- a/GDBMI_var_set_format.st	Thu Feb 15 08:46:03 2018 +0000
+++ b/GDBMI_var_set_format.st	Sat Feb 03 22:37:17 2018 +0000
@@ -85,3 +85,10 @@
 	^ 'var-set-format'
 ! !
 
+!GDBMI_var_set_format class methodsFor:'documentation'!
+
+version_HG
+
+    ^ '$Changeset: <not expanded> $'
+! !
+