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
..
applications	isabelle: Another Linux hash change?	2014-09-30 16:44:15 -05:00
build-support	A simple ADC downloader for upcoming darwin awesomeness	2014-10-01 02:10:31 +01:00
data	cantarell_fonts: fixed derivation	2014-09-30 12:29:11 +02:00
desktops
development	update libwebp to fix giflib incompatibility	2014-09-30 21:37:56 +02:00
games	anki: update from 2.0.28 to 2.0.29	2014-09-30 11:19:53 +01:00
misc	Higan: adding config.higan.{guiToolkit,profile} options	2014-10-01 02:17:40 +01:00
os-specific	xf86_input_wacom: update from 0.26.0 to 0.26.1	2014-09-30 20:39:47 +02:00
servers	Add a binary distribution of Apache Jena RDF storage system	2014-09-30 23:11:19 +04:00
shells	dash: update from 0.5.7 to 0.5.8	2014-09-30 10:29:50 +01:00
stdenv
test
tools	tmux: wrapped program to set TERMINFO variable	2014-10-01 02:09:06 +01:00
top-level	Higan: adding config.higan.{guiToolkit,profile} options	2014-10-01 02:17:40 +01:00