Author: benh Date: Tue Aug 4 20:08:47 2015 New Revision: 22916 Log: Update ignore list for renaming of linux-tools binary to linux-perf Modified: dists/trunk/linux-tools/debian/ (props changed)