Bruce Leidl 098c639ed7 Use the disabled-plugins feature of GSD to remove plugins ... This will create "dummy" .desktop launchers for the removed plugins so that we don't need to change any session files in gnome-session or gdm.		2020-11-03 15:05:01 -05:00
..
session.conf	Use the disabled-plugins feature of GSD to remove plugins	2020-11-03 15:05:01 -05:00