Menu

Commit [r541]  Maximize  Restore  History

fixed small bug (case insensitive filename search)

FrancescoA 2010-09-16

changed /trunk/drplugins/SearchInFiles.py
/trunk/drplugins/SearchInFiles.py Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB