From 1e2e6e2fa219ebc2dbd34b7bf3e2fb315f72171f Mon Sep 17 00:00:00 2001 From: Yaroslav Bolyukin Date: Thu, 01 Jun 2023 14:53:58 +0000 Subject: [PATCH] Merge pull request #114 from ebw44/features_doc_typo --- --- a/docs/features.md +++ b/docs/features.md @@ -2,7 +2,7 @@ Some features, which exists in jrsonnet, but not yet in other implementations. -Any of those features may be enabled during build time using feature flags, i.e: `--feature=exp-destruct`. +Any of those features may be enabled during build time using feature flags, i.e: `--features=exp-destruct`. ## `exp-destruct` -- gitstuff