From 97cd3b18fe17996b1eaf92d48eb555a54ad949a7 Mon Sep 17 00:00:00 2001 From: Wayne Davison Date: Wed, 23 Mar 2005 17:58:28 +0000 Subject: [PATCH] Get rid of all decimal-time values in the diff headers, not just an all-zero value. --- verify-patches | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verify-patches b/verify-patches index d4d2fcc..8245bdf 100755 --- a/verify-patches +++ b/verify-patches @@ -241,7 +241,7 @@ sub generate_new_patch next if /^(diff -|Index: |Only in )/; s#^\Q--- cvsdir/\E#--- orig/#; s#^\Q+++ workdir/\E#+++ #; - s#(\.000000000)? \+0000$##; + s#(\d\d\d\d-\d\d-\d\d \d\d:\d\d:\d\d)(\.\d\d\d\d\d\d\d\d\d)? \+0000$#$1#; print OUT $_; } close IN; -- 2.34.1