diff options
| author | AndersonTorres <torres.anderson.85@gmail.com> | 2014-09-30 17:35:53 -0300 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-10-01 02:17:40 +0100 |
| commit | 1c0d37a0382f06a0d24393006fb9aa45c53407e1 (patch) | |
| tree | dfe3cc0c59eb1aef40556fb346da55430917dbba /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 0e9cf136af70220768af6f252d0e8151e312b714 (diff) | |
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
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions