Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Change manual examples after #950 #1037

Merged
merged 1 commit into from
Dec 23, 2016

Conversation

markuspf
Copy link
Member

Please make sure that this pull request:

  • is submitted to the correct branch (the stable branch is only for bugfixes)
  • contains an accurate description of changes for the release notes below
  • provides new tests or relies on existing ones
  • correctly refers to other issues and related pull requests

Tick all what applies to this pull request

  • Adds new features
  • Improves and extends functionality
  • Fixes bugs that could lead to crashes
  • Fixes bugs that could lead to incorrect results
  • Fixes bugs that could lead to break loops

Write below the description of changes (for the release notes)

@codecov-io
Copy link

Current coverage is 49.62% (diff: 100%)

Merging #1037 into master will increase coverage by 0.06%

@@             master      #1037   diff @@
==========================================
  Files           424        424          
  Lines        223277     223277          
  Methods        3430       3430          
  Messages          0          0          
  Branches          0          0          
==========================================
+ Hits         110656     110804   +148   
+ Misses       112621     112473   -148   
  Partials          0          0          

Powered by Codecov. Last update 4ff9b38...3446e86

@james-d-mitchell james-d-mitchell merged commit 34ef6a1 into gap-system:master Dec 23, 2016
@markuspf markuspf deleted the doc-semigroup-monoid branch February 5, 2017 12: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.

3 participants