Changeset 817:bd5fc573e675 for misc

Timestamp:
09/25/16 06:33:10 (8 years ago)
Author:
István Váradi <ivaradi@…>
Branch:
default
Phase:
public
Message:

The popup menu producer can be None (re #307).

(No files)

Note: See TracChangeset for help on using the changeset viewer.