[kernel] r17876 - dists/trunk/linux-tools/debian/source

[Bastian Blank]

Author: waldi
Date: Sun Jul 31 11:27:34 2011
New Revision: 17876

Log:
debian/source/local-options: Add.

Added:
   dists/trunk/linux-tools/debian/source/local-options

Added: dists/trunk/linux-tools/debian/source/local-options
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ dists/trunk/linux-tools/debian/source/local-options	Sun Jul 31 11:27:34 2011	(r17876)
@@ -0,0 +1 @@
+abort-on-upstream-changes