diff src/config.sig @ 1520:b5517f47b1f1

Tracking and printing of version numbers (based on a patch by Austin Seipp)
author Adam Chlipala <adam@chlipala.net>
date Tue, 02 Aug 2011 13:33:38 -0400
parents 3d0cc841cafd
children 52fbd8534ef3
line wrap: on
line diff
--- a/src/config.sig	Sun Jul 24 15:47:09 2011 -0400
+++ b/src/config.sig	Tue Aug 02 13:33:38 2011 -0400
@@ -15,4 +15,7 @@
     val pgheader : string
     val msheader : string
     val sqheader : string
+
+    val versionNumber : string
+    val versionString : string
 end