Skip to content

runcommand excerpts are now called tips#250

Merged
danielbachhuber merged 1 commit intomasterfrom
excerpts-tips
Nov 16, 2016
Merged

runcommand excerpts are now called tips#250
danielbachhuber merged 1 commit intomasterfrom
excerpts-tips

Conversation

@danielbachhuber
Copy link
Member

@danielbachhuber danielbachhuber commented Nov 16, 2016

@danielbachhuber danielbachhuber added this to the 1.0.0 milestone Nov 16, 2016
@danielbachhuber danielbachhuber merged commit e83a0da into master Nov 16, 2016
@danielbachhuber danielbachhuber deleted the excerpts-tips branch November 16, 2016 15:08
schlessera pushed a commit that referenced this pull request Jan 25, 2022
runcommand excerpts are now called tips
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant