comparison debian/menu @ 27349:e5a937e0f8d2

Rename install-w32codecs.sh --> binary-codecs.sh.
author diego
date Thu, 31 Jul 2008 09:36:18 +0000
parents c9e946b14b44
children
comparison
equal deleted inserted replaced
27348:444ffef5fc2c 27349:e5a937e0f8d2