diff TOOLS/subsearch.sh @ 35704:ec0cc8013b3a

(Partially) synchronize .gitignore with svn:ignore properties.
author diego
date Sun, 20 Jan 2013 15:41:53 +0000
parents 4d8489f21983
children
line wrap: on
line diff