gnu: %default-extra-linux-options: Remove redundant options.
authorDavid Craven <david@craven.ch>
Mon, 26 Sep 2016 10:08:15 +0000 (12:08 +0200)
committerDavid Craven <david@craven.ch>
Wed, 28 Sep 2016 10:40:12 +0000 (12:40 +0200)
commit50dbc03647170fded9e0bca0cc4b7e1614aa38db
tree8f5d8b215bfa69b657a71f65acfdbd6c388f1919
parent33619c3ae00f25af7fac325914fc47ee734d8f16
gnu: %default-extra-linux-options: Remove redundant options.

* gnu/packages/linux.scm (%default-extra-linux-options): Remove
  redundant options.
gnu/packages/linux.scm