Skip to content
This repository has been archived by the owner on Apr 3, 2019. It is now read-only.

maor -> moar #82

Merged
merged 1 commit into from Oct 24, 2013
Merged

maor -> moar #82

merged 1 commit into from Oct 24, 2013

Conversation

ckarlof
Copy link
Contributor

@ckarlof ckarlof commented Oct 24, 2013

closes #81

ckarlof added a commit that referenced this pull request Oct 24, 2013
@ckarlof ckarlof merged commit 0213e97 into master Oct 24, 2013
@ckarlof ckarlof deleted the moar_maor branch October 24, 2013 21:14
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.

Please rename maor_native to moar_native, similar for maor_native_verified_state
1 participant