///
extern char const * const lyx_release_date = LYX_DATE;
-///
-extern char const * const lyx_build_date = __DATE__;
-///
-extern char const * const lyx_build_time = __TIME__;
-
/// Package identifier (lyx[-<version-suffix>])
extern char const * const lyx_package = PACKAGE;