Nathan Dwarshuis 21250b1818 FIX ensure xmonad is killed after we switch optimus modes		2020-07-03 22:16:15 -04:00
..
Internal	FIX ensure xmonad is killed after we switch optimus modes	2020-07-03 22:16:15 -04:00