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

Removed deprecated Home.md #177

Merged
merged 1 commit into from
May 17, 2017
Merged

Conversation

shlomi-noach
Copy link
Collaborator

fixes #170

@shlomi-noach shlomi-noach merged commit 1e9fffa into master May 17, 2017
@shlomi-noach shlomi-noach deleted the remove-deprecated-home-page branch May 17, 2017 05:08
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.

Home.md seems to consist of links to pages that have been renamed or removed.
1 participant