Version 4.0 Patchlevel 5
Added Features/Bug Fixes
- Fix a bug that generates bad a GIF file when running tgif with
"-print -gif" commandline arguments. Thanks to Dick Wesseling
<firstname.lastname@example.org> for pointing out this problem.
- Support more tgif file name extensions. Allow ".tgo" to also be a tgif
object file name extension and ".tgs" to also be a tgif symbol file name
William Chia-Wei Cheng (email@example.com)