Patch merged into coreboot/master: 569ad76 util/lint/lint-stable-003-whitespace: Ignore temporary files ending with a tilde

the following patch was just integrated into master:
commit 569ad760cc4d7e3595bd9d4f569d08b021a64663
Author: Paul Menzel 
Date:   Wed Oct 2 22:10:11 2013 +0200

util/lint/lint-stable-003-whitespace: Ignore temporary files ending with a tilde

Some editors like gedit create auxiliary files ending with a
    tilde '~'. As these are not checked into the Git repository, do
    not check these for whitespace errors.

Change-Id: I2c4cf00f9d623be73ea3bbb7b2da4f1e1900c8e9
    Signed-off-by: Paul Menzel 
    Reviewed-on: http://review.coreboot.org/3952
    Reviewed-by: Ronald G. Minnich 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Jonathan A. Kollasch

See http://review.coreboot.org/3952 for details.

-gerrit