Luca Bruno eac32cf697 Revert "Merge pull request #7032 from flosse/change-option-names"
This reverts commit c265aafb555d172baa56e22b2c371d0b6fbe4952, reversing
changes made to c9bbf2228f7a71f6bdec51a0c7bbb9ba7206c1ff.

Breaks evaluation, see https://github.com/NixOS/nixpkgs/pull/7032#issuecomment-87641471
2015-03-30 13:45:07 +02:00
..
2015-03-11 21:54:04 +01:00
2015-03-28 19:07:45 -07:00