Skip to content
This repository has been archived by the owner on Feb 5, 2022. It is now read-only.

Add top-level README.md #221

Merged
merged 1 commit into from
Nov 19, 2020
Merged

Add top-level README.md #221

merged 1 commit into from
Nov 19, 2020

Conversation

jeltsch
Copy link
Contributor

@jeltsch jeltsch commented Nov 19, 2020

This resolves #220.

@jeltsch jeltsch added this to the 2020-11-30 meeting milestone Nov 19, 2020
@jeltsch jeltsch self-assigned this Nov 19, 2020
Copy link
Contributor

@javierdiaz72 javierdiaz72 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@jeltsch jeltsch merged commit 1cd80cb into master Nov 19, 2020
@jeltsch jeltsch deleted the enhancement/top-level-readme branch November 19, 2020 19:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add top-level README.md
2 participants