diff options
Diffstat (limited to 'docs/docs/internals/contexts.md')
-rw-r--r-- | docs/docs/internals/contexts.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/docs/docs/internals/contexts.md b/docs/docs/internals/contexts.md index e2111029c..09cbb40c5 100644 --- a/docs/docs/internals/contexts.md +++ b/docs/docs/internals/contexts.md @@ -1,10 +1,8 @@ --- -title: Contexts layout: default +title: "Contexts" --- -Contexts -======== The `Context` contains the state of the compiler, for example * `settings` * `freshNames` (`FreshNameCreator`) |