Closed marcelgerber closed 10 years ago
This fixes #63.
It took some seconds before I realized what the hamburger is. :-) Thanks for fixing this.
hamburger
This fixes #63.