QTfrontend/util/namegen.h
changeset 15756 cc6910b6631c
parent 14956 4accf3e18dbc