fix spacing "맨페이지" => "맨 페이지"

wariua committed Jan 13, 2019

fix spacing

wariua committed Jul 1, 2018

shift up header levels of subsections

wariua committed Mar 29, 2018

updated to 4.14

wariua committed Dec 7, 2017

Fix tags

wariua committed Nov 6, 2017

Added getrandom(2), random(4), and urandom(4)

wariua committed Nov 6, 2017