Changeset 817:bd5fc573e675 for locale

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)