diff --git a/tools/compress-pngs.py b/tools/compress-pngs.py index 3b715d3589..ed3e32a525 100755 --- a/tools/compress-pngs.py +++ b/tools/compress-pngs.py @@ -1,6 +1,6 @@ #!/usr/bin/env python3 # -# Compress PNGs +# compress-pngs.py - Compress PNGs # # By Gerald Combs