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 /html/Ocean.std-theme/minus.gif | |
| 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 'html/Ocean.std-theme/minus.gif')
0 files changed, 0 insertions, 0 deletions