From adacc4a16a09d404e706b327222a8cebd5cb54c4 Mon Sep 17 00:00:00 2001 From: Alejandro Mery Date: Mon, 16 Jun 2008 16:46:41 +0000 Subject: [PATCH] [splint] Updated (3.1.1 -> 3.1.2) --- develop/splint/splint.desc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/develop/splint/splint.desc b/develop/splint/splint.desc index e9173d50..56413735 100644 --- a/develop/splint/splint.desc +++ b/develop/splint/splint.desc @@ -2,6 +2,7 @@ [COPY] This copyright note is auto-generated by ./scripts/Create-CopyPatch. [COPY] [COPY] Filename: package/.../splint/splint.desc +[COPY] Copyright (C) 2008 The OpenSDE Project [COPY] Copyright (C) 2004 - 2006 The T2 SDE Project [COPY] Copyright (C) 1998 - 2004 Clifford Wolf [COPY] @@ -30,7 +31,7 @@ [L] GPL [S] Stable -[V] 3.1.1 +[V] 3.1.2 [P] X -----5---9 800.000 -[D] 1133352844 splint-3.1.1.src.tgz http://www.splint.org/downloads/ +[D] 3875979892 splint-3.1.2.src.tgz http://www.splint.org/downloads/ -- 2.11.4.GIT