AndersonTorres 1c0d37a038 Higan: adding config.higan.{guiToolkit,profile} options ... Now we can parametrize Higan locally. By default, guiToolkit = "gtk" and profile = "performance" (the accuracy profile is seriously slow on my machine :) ) Closes #4340		2014-10-01 02:17:40 +01:00
..
default.nix	Higan: adding config.higan.{guiToolkit,profile} options	2014-10-01 02:17:40 +01:00