diff options
| author | hallgren <hallgren@chalmers.se> | 2013-03-27 16:35:56 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-03-27 16:35:56 +0000 |
| commit | 8b06936c01ec2a19290d78117a40cf4549f55f7c (patch) | |
| tree | 1638c111df70b47771d57ef806f601a687304099 /src/runtime | |
| parent | 7e214fee01800b5bc982dde14c0c290b3758125a (diff) | |
minibar: click on a linearization to obtain a table with all variants and forms
Click again to hide the table.
Diffstat (limited to 'src/runtime')
0 files changed, 0 insertions, 0 deletions