some typos

2014-11-14 13:05:55 +01:00
parent 18ffe551e8
commit 8bd2f6bfc1
3 changed files with 3 additions and 3 deletions
@@ -147,7 +147,7 @@ in
      default = [];
      description = ''
        Additional configurations to build based on the current
-        configuration which is has a lower priority.
+        configuration which then has a lower priority.
      '';
    };