diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 10:15:09 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 10:15:09 +0100 |
commit | e8b63d52bb68dc37d3e6c933021e29b7ea7d7a23 (patch) | |
tree | 722eab16577a1fd539c0483a84e38fd198791e14 /vignettes/prebuilt/2022_dmta_parent.pdf | |
parent | 0bd507131a9bb180afe6e843681330956086be9b (diff) |
Exclude more mkinmod examples, as winbuilder NOTEs > 5 s
Diffstat (limited to 'vignettes/prebuilt/2022_dmta_parent.pdf')
0 files changed, 0 insertions, 0 deletions