diff options
Diffstat (limited to 'misc')
-rw-r--r-- | misc/vera/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/vera/Makefile b/misc/vera/Makefile index 640c94ec8904..bf8c3f886587 100644 --- a/misc/vera/Makefile +++ b/misc/vera/Makefile @@ -3,7 +3,7 @@ # Date created: 9 March 1999 # Whom: Dima Sivachenko <dima@chg.ru> # -# $Id $ +# $Id$ # DISTNAME= vera-1.5 |