documentation for IGNORE_FILES #785

Merged
merged 1 commit into from Mar 20, 2013
Commits on Mar 19, 2013
  1. @wraithan