Skip to content

SO3Group<...> -> SO3<...> and so on.#56

Merged
strasdat merged 1 commit intomasterfrom
rm_group_naming
Jan 25, 2017
Merged

SO3Group<...> -> SO3<...> and so on.#56
strasdat merged 1 commit intomasterfrom
rm_group_naming

Conversation

@strasdat
Copy link
Owner

No description provided.

@strasdat strasdat merged commit bb7247f into master Jan 25, 2017
@strasdat strasdat deleted the rm_group_naming branch January 25, 2017 19:50
@coveralls
Copy link

Coverage Status

Coverage remained the same at 84.532% when pulling a3d077e on rm_group_naming into b333581 on master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 84.532% when pulling 2c036eb on rm_group_naming into b333581 on master.

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