diff TOOLS/realcodecs/drv2.c @ 20049:c9e717a117d3

Also ignore shared libraries.
author diego
date Wed, 04 Oct 2006 21:40:35 +0000
parents 99d2902782ed
children 3b80b74b6813
line wrap: on
line diff