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

Add warnings to indicate which sections have not been redefined #186

Closed
wants to merge 1 commit into from
Closed

Add warnings to indicate which sections have not been redefined #186

wants to merge 1 commit into from

Conversation

andreastt
Copy link
Member

This helps readers from knowing which chapters they can (somewhat) rely on and which they should avoid if they dare to attempt an implementation.

For us as authors it also helps highlighting all the work that remains.

@andreastt andreastt changed the title Add warnings to indicate which sections have been redefined Add warnings to indicate which sections have been not redefined Aug 4, 2015
@andreastt andreastt changed the title Add warnings to indicate which sections have been not redefined Add warnings to indicate which sections have not been redefined Aug 4, 2015
@AutomatedTester
Copy link
Contributor

Reviewed 1 of 1 files at r1.
Review status: all files reviewed at latest revision, all discussions resolved, some commit checks failed.


Comments from the review on Reviewable.io

@AutomatedTester
Copy link
Contributor

Please can you rebase this?

@andreastt
Copy link
Member Author

@AutomatedTester You appear to have closed this without merging the changes. I've just rebased it.

@AutomatedTester
Copy link
Contributor

woops, wrong-button-itis...

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.

None yet

2 participants