Skip to content

rename abstract to summary for uniformity#533

Merged
manno merged 1 commit intofrab:masterfrom
elad-eyal:fix_480
Oct 1, 2019
Merged

rename abstract to summary for uniformity#533
manno merged 1 commit intofrab:masterfrom
elad-eyal:fix_480

Conversation

@elad-eyal
Copy link
Collaborator

closes #480

@manno manno merged commit 5613d66 into frab:master Oct 1, 2019
@elad-eyal elad-eyal deleted the fix_480 branch October 9, 2019 20:31
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.

"summary" or "abstract" conflicting names

2 participants