diff examples/menu.py @ 144:bfab04d0a745

ListOption: add __hash__ method
author Goffi <goffi@goffi.org>
date Sun, 27 Oct 2019 18:55:47 +0100
parents 287ff3e1edd1
children 6689aa54b20c
line wrap: on
line diff