Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

fix(docs/style) #290

Merged
merged 1 commit into from
Aug 29, 2018
Merged

Conversation

PatrickMassot
Copy link
Member

Precise a style rule and fixes a github markdown issue

Precise a style rule and fixes a github markdown issue
@johoelzl johoelzl merged commit 49fb2db into leanprover-community:master Aug 29, 2018
@PatrickMassot PatrickMassot deleted the patch-1 branch August 31, 2018 09:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants