EXTRA_DIST =
properties.py signal.py option.py
syntax highlighted by
Code2HTML
, v. 0.9.1