chiark / gitweb /
Use --diff rather than --patch in log.py
authorCatalin Marinas <catalin.marinas@gmail.com>
Thu, 2 Oct 2008 22:11:12 +0000 (23:11 +0100)
committerCatalin Marinas <catalin.marinas@gmail.com>
Thu, 2 Oct 2008 22:11:12 +0000 (23:11 +0100)
In a few places in this file options.diff is used already.

Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>

No differences found