#----------------------------------------------------------------------------
# devtools-files.txt - list of all files of package 'devtools'
#
# Creation   : 2007-12-09  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
u 0644 root root devtools usr/share/doc/devtools/changes.txt
u 0644 root root devtools usr/share/doc/devtools/devtools.txt
#
f 0755 root root devtools usr/share/doc/devtools