diff options
Diffstat (limited to 'extensions/util')
| -rw-r--r-- | extensions/util/makefile.pmk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/extensions/util/makefile.pmk b/extensions/util/makefile.pmk index ce8493598914..a6f598900dbe 100644 --- a/extensions/util/makefile.pmk +++ b/extensions/util/makefile.pmk @@ -4,9 +4,9 @@ # # $RCSfile: makefile.pmk,v $ # -# $Revision: 1.3 $ +# $Revision: 1.4 $ # -# last change: $Author: rt $ $Date: 2005-09-08 21:01:34 $ +# last change: $Author: vg $ $Date: 2007-02-28 16:27:38 $ # # The Contents of this file are made available subject to # the terms of GNU Lesser General Public License Version 2.1. @@ -39,4 +39,3 @@ PDBTARGET=extensions .INCLUDE : settings.mk - |