diff options
Diffstat (limited to 'docs/specifications/export-command.md')
| -rw-r--r-- | docs/specifications/export-command.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/specifications/export-command.md b/docs/specifications/export-command.md index 4111bfed4..5464e9408 100644 --- a/docs/specifications/export-command.md +++ b/docs/specifications/export-command.md @@ -1,5 +1,7 @@ # Binary Export (Apr 28, 2017) +**Note: this is the feature as it was initially specified and does not necessarily reflect the current behavior.** + ## 1. Motivation ### A. Build once and share |