> 1999-06-28 Gilles Zunino <Gilles.Zunino@hei.fr> > Stephane Conversy <Stephane.Conversy@lri.fr> > > * mknumeric_limits: Changed #!/bin/bash to #!/bin/sh. Looks like this went in with some of tweaking Gaby did last night for another, unrelated problem. Thanks for pointing it out. -Benjamin