Skip to content

add missing imports#151

Open
fchapoton wants to merge 1 commit into
flatsurf:masterfrom
fchapoton:add_missing_import
Open

add missing imports#151
fchapoton wants to merge 1 commit into
flatsurf:masterfrom
fchapoton:add_missing_import

Conversation

@fchapoton
Copy link
Copy Markdown
Contributor

I refreshed the modified file (pep8 standard) and added 3 missing imports.

Checklist

  • Added an entry in doc/news/.
  • Added a test for this change.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant