wmfsm: Hide "system" file systems.
commitb143ff46a6c0ec0f0beaf22291a7077443d614c9
authorDoug Torrance <dtorrance@monmouthcollege.edu>
Thu, 22 Jan 2015 06:22:02 +0000 (22 00:22 -0600)
committerCarlos R. Mafra <crmafra@gmail.com>
Thu, 22 Jan 2015 11:12:10 +0000 (22 11:12 +0000)
tree13576d30c6ef1fd29bd7ad885080954428f8de69
parent443124b998d6039040bc756b27edf7c57bc06b13
wmfsm: Hide "system" file systems.

Patch [1] by roma1390 and Michele Noberasco to fix Gentoo bug #50148 [2].

[1] http://sources.gentoo.org/cgi-bin/viewvc.cgi/gentoo-x86/x11-plugins/wmfsm/files/wmfsm-0.34.linux-fs.patch
[2] https://bugs.gentoo.org/show_bug.cgi?id=50148
wmfsm/wmfsm/wmfsm.c