Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Revert "Merge"#1125

Merged
amswerdlow merged 1 commit intoinner_product_spacesfrom
revert-1099-master
Jun 10, 2019
Merged

Revert "Merge"#1125
amswerdlow merged 1 commit intoinner_product_spacesfrom
revert-1099-master

Conversation

@amswerdlow
Copy link
Copy Markdown
Collaborator

Reverts #1099

This reverts commit 56a6f46.
@amswerdlow amswerdlow requested a review from a team as a code owner June 10, 2019 11:11
@amswerdlow amswerdlow merged commit a9c57f0 into inner_product_spaces Jun 10, 2019
@amswerdlow amswerdlow deleted the revert-1099-master branch June 10, 2019 11:12
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.

1 participant