comparison debian/menu @ 3781:3a2bd7d449f7

better, nicer progress status for index generation
author arpi
date Thu, 27 Dec 2001 00:37:03 +0000
parents 5bbf7a829280
children 1856b9bfdc09
comparison
equal deleted inserted replaced
3780:9eb4aa623ab6 3781:3a2bd7d449f7