Skip to content
This repository has been archived by the owner on Oct 8, 2021. It is now read-only.

Document iteration order. #742

Merged
merged 1 commit into from
Sep 6, 2017
Merged

Conversation

mschauer
Copy link
Contributor

@mschauer mschauer commented Sep 6, 2017

Does this agree with what you explained?

@codecov
Copy link

codecov bot commented Sep 6, 2017

Codecov Report

Merging #742 into master will not change coverage.
The diff coverage is n/a.

@@          Coverage Diff          @@
##           master   #742   +/-   ##
=====================================
  Coverage     100%   100%           
=====================================
  Files          63     63           
  Lines        3185   3185           
=====================================
  Hits         3185   3185

Copy link
Owner

@sbromberger sbromberger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks - doc enhancements are always greatly appreciated.

@sbromberger sbromberger merged commit 7146ec5 into sbromberger:master Sep 6, 2017
@mschauer mschauer deleted the dociter branch September 6, 2017 18:34
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.

None yet

2 participants