new jigadmin tool

Is the new jigadmin tool in CVS? I only see the older "jigadm". Sorry if I'm
just missing it....
Thanks!

Luke Call
EDM Group
Micron Technology, Boise 

Received on Friday, 23 April 1999 10:08:38 UTC