diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2001-09-30 16:01:12 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2001-09-30 16:01:12 +0000 |
| commit | b600319c25b29205e2962d468afd2d1379717b32 (patch) | |
| tree | 9221b222188958f9d261c71fc7240b70604af521 /src/tutorial/complex.source | |
| parent | f7d607748ae5aad424003450f07e3aff188f2e41 (diff) | |
Fix *.gif expansion to be empty when no gif files are used.
Diffstat (limited to 'src/tutorial/complex.source')
0 files changed, 0 insertions, 0 deletions