--- a/GDBMI_file_exec_file.st	Tue Aug 07 12:16:08 2018 +0100
+++ b/GDBMI_file_exec_file.st	Thu Aug 16 10:06:02 2018 +0100
@@ -89,3 +89,10 @@
 	^ 'file-exec-file'
 ! !
 
+!GDBMI_file_exec_file class methodsFor:'documentation'!
+
+version_HG
+
+    ^ '$Changeset: <not expanded> $'
+! !
+