Skip to content

Various `protocol.md` improvements #191

Closed
wants to merge 3 commits into from

1 participant

@JensRantil

No description provided.

JensRantil added some commits Jun 28, 2013
@JensRantil JensRantil protocol.md: Stick to 80 chars width
Increases readability for people with smaller screens. Additional info:

 * I've deliberately left the tables untouched for now.
 * No content has been changed.
1ed96d2
@JensRantil JensRantil protocol.md: Fix incorrect header hierarchy
The header is now in correct relation to its sibling header.
bf6ca8f
@JensRantil JensRantil protocol.md: Escape HTML-interpreted parameter eea7a23
@JensRantil JensRantil referenced this pull request Jun 28, 2013
Merged

Document "drain mode" #192

@JensRantil

Any input on this?

@kr kr added a commit that closed this pull request Apr 4, 2016
@kr remove markdown version of protocol.txt
It's completely redundant, and the benefit in
readability (if there is any) isn't worth the effort
keeping them in sync.

The Chinese tranlation is not redundant, so we should
keep it. But still, note that it's not authoritative.
Where protocol.txt and protocol.zh-CN.md disagree,
protocol.txt is correct.

Fixes #308
Fixes #191
a0470f2
@kr kr closed this in a0470f2 Apr 4, 2016
@sergeyklay sergeyklay added a commit to phalcongelist/beanspeak that referenced this pull request Apr 4, 2016
@sergeyklay sergeyklay Updated link to the protocol [ci skip] 5ecc317
@sergeyklay sergeyklay referenced this pull request in phalcongelist/beanspeak Apr 4, 2016
Merged

Updated link to the protocol [ci skip] #31

@JensRantil JensRantil deleted the JensRantil:protocol-md-fixes branch Apr 4, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.