diff options
author | Henning Thielemann <git@henning-thielemann.de> | 2012-04-01 13:03:07 +0200 |
---|---|---|
committer | Henning Thielemann <git@henning-thielemann.de> | 2012-04-01 13:03:07 +0200 |
commit | a2bcbcffde1e78a6031132bdf4a1a605978352a8 (patch) | |
tree | 6cc2d15c8946d0176fec784d31c87c7ed4c27135 /doc | |
parent | bc89bcc2b076c13ad559543ebba43603c8ab990c (diff) |
add QualOption type for distinction between qualification argument given by the user
and the actual qualification for a concrete module
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions