1 diff -Nura discus-0.2.9/discusrc discus-0.2.9.new/discusrc
2 --- discus-0.2.9/discusrc 2000-09-16 04:32:08.000000000 +0200
3 +++ discus-0.2.9.new/discusrc 2004-06-08 02:34:50.000000000 +0200
7 ## Filesystems to ignore.
8 -opts["skip_list"] = ["/dev/pts", "/proc"]
9 +opts["skip_list"] = ["/dev/pts",
12 + "/proc/sys/fs/binfmt_misc",
15 ## Use smart formatting of numbers.