Explicitly ignore a "local" config file; this should prevent someone from
[dyninst.git] / dyninstAPI /
drwxr-xr-x   ..
drwxr-xr-x - src