X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fversion.h;h=d2c0fe0a9ddbb49092f5f8ffaa89fa0f2dcc4a89;hb=a486e7cbf4f95d19bb208796e4c92a040cf48f65;hp=3465874967c6bdb752a0b5c1ba0699f0e1999b4d;hpb=9f650fc3d2946c216e6cd3c7922a8a63d0f97117;p=pspp-builds.git

diff --git a/src/libpspp/version.h b/src/libpspp/version.h
index 34658749..d2c0fe0a 100644
--- a/src/libpspp/version.h
+++ b/src/libpspp/version.h
@@ -44,4 +44,7 @@ extern const char include_path[];
 /* Locale directory. */
 extern const char locale_dir[];
 
+/* From the AUTHORS file */
+extern const char *const authors[];
+
 #endif /* !version_h */