From 6ad7b732d759c9df4cf15c48c595112f7ac8c5e7 Mon Sep 17 00:00:00 2001 From: flip111 Date: Thu, 27 Dec 2018 12:14:23 +0000 Subject: [PATCH] Update README.md add info about extensions --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 0ecdabd6..c0f1bd06 100644 --- a/README.md +++ b/README.md @@ -159,8 +159,8 @@ values are merged with per section values. | --- | --- | --- | --- | | `buildable` | · | | Per section takes precedence over top-level | | `source-dirs` | `hs-source-dirs` | | | -| `default-extensions` | · | | | -| `other-extensions` | · | | | +| `default-extensions` | · | | extensions that will be enabled in every source file | +| `other-extensions` | · | | indicates that these extensions will be used in at least one source file | | `ghc-options` | · | | | | `ghc-prof-options` | · | | | | `ghcjs-options` | · | | |