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

"#Page"->"# Page" in 14 places #151

Merged
merged 1 commit into from
Jul 27, 2016
Merged

Conversation

proudindiv
Copy link
Contributor

14 "# Page" comment typos in 5 files

$ grep "^#Page" Co_/.agc Lu/_.agc|wc
14 28 545

@wopian
Copy link
Collaborator

wopian commented Jul 27, 2016

Looks good, thanks 👍

@wopian wopian merged commit 5f46da3 into chrislgarry:master Jul 27, 2016
@wopian wopian added the typo label Aug 3, 2016
@wopian wopian added Realm: Comanche055 Type: Proof Comanche55 and Luminary99 files and removed typo labels Dec 28, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type: Proof Comanche55 and Luminary99 files
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants