log TOOLS/install-divx5.sh @ 18488:b23c0e341e3e

age author description
Sun, 27 Nov 2005 14:03:14 +0000 alex some comments and simplification
Sun, 29 May 2005 13:46:57 +0000 alex old scripts from early debian package