[kernel] r20010 - dists/sid/linux-tools

[Ben Hutchings]

Author: benh
Date: Sat May  4 02:44:10 2013
New Revision: 20010

Log:
Branch linux-tools for sid

Added:
   dists/sid/linux-tools/   (props changed)
      - copied from r20009, dists/trunk/linux-tools/