aboutsummaryrefslogtreecommitdiff
path: root/specification
ModeNameSize
-rw-r--r--.gitignore30logplainblame
-rw-r--r--specification.pdf156052logplainblame
-rw-r--r--specification.tex9266logplainblame