Correctly fix the ignore properties

cmr=v1.8.1:reviewer=ompi-gk1.8

This commit was SVN r31347.

Этот коммит содержится в:

Ralph Castain

2014-04-08 19:50:07 +00:00

родитель b33ad232b0

Коммит 628bf43276