Commit f06f97ef authored by sunse's avatar sunse Committed by lengyelb
Browse files

CR 0555 removing isINEF

parent 54965ee4