view .hgsub @ 14637:e12a0ac530b4

Fix handling of duplicate packages * scripts/pkg/private/installed_packages.m, scripts/pkg/private/rebuild.m: Fix comparison against list of duplicate packages.
author Mike Miller <mtmiller@ieee.org>
date Wed, 16 May 2012 08:12:32 -0400
parents ecf0c6bca0c9
children e8ef57b7bd2a 7f4082b00a99
line wrap: on
line source

gnulib = [git]git://git.sv.gnu.org/gnulib