merge back in source merges to fix the broken repository

[debbugs.git] / clean

#!/bin/sh
find \( -name '*.out' -o -name '*~' -o -name '#*#' \) -print | xargs -r rm -f --
rm -f install install.new