Skip to content
This repository has been archived by the owner on Nov 18, 2021. It is now read-only.

cmd/export: fix help #825

Closed
wants to merge 1 commit into from
Closed

cmd/export: fix help #825

wants to merge 1 commit into from

Conversation

eonpatapon
Copy link
Contributor

Closes #819

Change-Id: I273b0117bddf7e32c4f6f5bf5d706a889144b7ff

Closes #819

Change-Id: I273b0117bddf7e32c4f6f5bf5d706a889144b7ff
@eonpatapon
Copy link
Contributor Author

There was a typo yes, but the behaviour seems to have changed also...

cueckoo pushed a commit that referenced this pull request Mar 12, 2021
Closes #819

Change-Id: I273b0117bddf7e32c4f6f5bf5d706a889144b7ff

Closes #825
#825

GitOrigin-RevId: c574bb4
Change-Id: I7e9d121da87bdd4c1fdc5c35973bd618814d77db
@cueckoo cueckoo closed this in 81aa8cd Mar 12, 2021
@eonpatapon eonpatapon deleted the fix-help branch March 12, 2021 07:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

cue export -h has malformed JSON in documentation
3 participants