Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Documentation #318

Merged
merged 6 commits into from May 15, 2020
Merged

Documentation #318

merged 6 commits into from May 15, 2020

Conversation

amolenaar
Copy link
Member

PR Type

What kind of change does this PR introduce?

  • Bugfix
  • Feature
  • Code style update (formatting, local variables)
  • Refactoring (no functional changes, no api changes)
  • Documentation content changes

Documentation update. Added some docs on our new ModelingLanguage concept and did many small improvements, all over the place.

@amolenaar amolenaar requested a review from danyeaw May 14, 2020 21:42
Signed-off-by: Dan Yeaw <dan@yeaw.me>
@danyeaw
Copy link
Member

danyeaw commented May 15, 2020

@amolenaar These were really nice updates. Instead of nitpicking editorial comments, I just went ahead and committed an update. 👍

@danyeaw danyeaw merged commit 26cecc7 into master May 15, 2020
@danyeaw danyeaw deleted the documentation branch May 15, 2020 01:04
@danyeaw danyeaw added the chore Maintenance related PR label May 15, 2020
@danyeaw danyeaw added this to the 1.3 milestone May 15, 2020
@amolenaar
Copy link
Member Author

Excellent! Thanks Dan.

@danyeaw danyeaw modified the milestones: 1.3, 2.0 Jul 19, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Maintenance related PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants