From 1132bfe6a3b930bcd2e06925e85bb1a473adda67 Mon Sep 17 00:00:00 2001 From: mstsirkin Date: Wed, 25 Mar 2015 17:10:06 +0000 Subject: makediff: cherry-pick header removal makes changelog diff slightly prettier. Signed-off-by: Michael S. Tsirkin git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio/branches/v1.0@498 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652 --- makediff.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/makediff.sh b/makediff.sh index df51bce..bba099a 100755 --- a/makediff.sh +++ b/makediff.sh @@ -22,6 +22,7 @@ done << 'EOF' Revert: formatting: mark change manually as changed in cs02 cl: move out cs02 changelog cl: drop contents temporarily +changelog: comment out header EOF #mv specvars.tex specvars-orig.tex -- cgit v1.2.3