1 files changed, 7 insertions, 0 deletions
diff --git a/version.c b/version.c
new file mode 100644
index 0000000..ca20716
--- /dev/null
+++ b/version.c
@@ -0,0 +1,7 @@
+char *version_string = "3.72.8";
+
+/*
+  Local variables:
+  version-control: never
+  End:
+ */