On 1/19/13, Stefano Sabatini <stefasab at gmail.com> wrote: > The file is outdated since ages, and git log is so a much better tool for > bookkeeping authorship/credits. > --- > CREDITS | 55 ------------------------------------------------------- > 1 file changed, 55 deletions(-) > delete mode 100644 CREDITS > fine for me