diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-29 01:55:05 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-09-29 01:55:05 +0000 |
| commit | e36ae306a64564c5c1edae896be40c858787cc12 (patch) | |
| tree | 245abcc14dd75dc121f2ac93dbd1f6da3de2bae2 /doc/html | |
| parent | 4bef86fa03646e8d6a0ab46dfd5e216870b1b1cb (diff) | |
| download | mdk-e36ae306a64564c5c1edae896be40c858787cc12.tar.gz mdk-e36ae306a64564c5c1edae896be40c858787cc12.tar.bz2 | |
exclude images in dvi
Diffstat (limited to 'doc/html')
0 files changed, 0 insertions, 0 deletions