主に自分のために作ったツール類ですが，使いたい方がいるかもしれないので．

• tgifanime: tgif を使ってごく簡単なアニメーションを作るツール

Last modified: Thu Dec 16 16:37:54 JST 2004 by R.Uehara (uehara@jaist.ac.jp)