Skip to content

Add simple readme#1

Closed
zayenz wants to merge 1 commit into
Gecode:developfrom
zayenz:feature/readme
Closed

Add simple readme#1
zayenz wants to merge 1 commit into
Gecode:developfrom
zayenz:feature/readme

Conversation

@zayenz

@zayenz zayenz commented Feb 1, 2018

Copy link
Copy Markdown
Member

This adds a simple readme based on the front-page blurb from gecode.org.

Initial readme file that only contains the front page blurb
information.
@zayenz zayenz changed the base branch from master to develop February 1, 2018 14:57
@chschulte

Copy link
Copy Markdown
Member

I am not sure whether I want to merge as Guido is still setting things up... There will be a better REDAME at some point in tim.

@zayenz

zayenz commented Feb 1, 2018

Copy link
Copy Markdown
Member Author

Check. Just happened to have a simple read me laying around.

@zayenz zayenz closed this Feb 1, 2018
@zayenz zayenz deleted the feature/readme branch June 26, 2020 13:59
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.

2 participants