# Debian patches for gnome-system-monitor
03_dont_show_in_KDE.patch
04_kfreebsd_cputime.patch
