chiark / gitweb /
Make menu_update() robust against being called before the notebook has
[disorder] / images / logosmall.png
CommitLineData
5d30e04b
RK
1