diff -r 728f51b71e71 -r 3f4bc2397c3c main.cpp --- a/main.cpp Tue Jan 03 09:44:41 2006 +0000 +++ b/main.cpp Wed Jan 25 12:34:55 2006 +0000 @@ -167,9 +167,9 @@ if (options.isOn ("version")) { - cout << "vym version "<<__VYM_VERSION__ + cout << "vym version "<<__VYM_VERSION <<" (c) 2004 Uwe Drechsel - " - <<__BUILD_DATE__<