aboutsummaryrefslogtreecommitdiff
path: root/examples/frege-example
ModeNameSize
d---------build39logplain
d---------src35logplain