changeset 9818 | 71de955e8fc9 |
parent 7868 | 0cb6508f190c |
child 10822 | d72dac8e6ef5 |
9817:6ad158576972 | 9818:71de955e8fc9 |
---|---|
1 %% |
1 %% |
2 %% $Id$ |
2 %% $Id$ |
3 %% Author: Markus Wenzel, TU Muenchen |
|
4 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
3 %% |
5 %% |
4 %% conditional url/hyperref setup |
6 %% conditional url/hyperref setup |
5 %% |
7 %% |
6 |
8 |
7 \@ifundefined{pdfoutput}{\usepackage{url}} |
9 \@ifundefined{pdfoutput}{\usepackage{url}} |