Skip to content

Conversation

maddie927
Copy link
Member

Also simplify Makefiles

@maddie927 maddie927 self-assigned this Oct 1, 2018
@maddie927 maddie927 merged commit 43f08b5 into master Oct 1, 2018
@maddie927 maddie927 deleted the michael/create-portal branch October 1, 2018 18:21
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