v1.0.4
default avatar
lm@inf.ethz.ch
fa4c1e13 · Commented out old menu items, maybe useful later · 
Stable 1.0.4 release version