Skip to content
This repository was archived by the owner on Aug 21, 2023. It is now read-only.

Conversation

@Halliax
Copy link

@Halliax Halliax commented Oct 5, 2017

The vertical lines in the NOR and OR rows weren't rendering correctly; @aehoppe and I found a hack to fix it. I think my editor autoremoved some trailing spaces too, not that it makes any kind of difference (sorry about that)

@Halliax
Copy link
Author

Halliax commented Oct 5, 2017

Also, our work plan. Didn't think ahead and branch so this ended up in the same PR, apologies. There's a new PR with just the fix

@Halliax Halliax changed the title fixed table in Specification section fixed table in Specification section, plus work plan Oct 5, 2017
Alexander Hoppe and others added 26 commits October 7, 2017 18:21
@Halliax Halliax changed the title fixed table in Specification section, plus work plan Submission Oct 12, 2017
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.

2 participants