tree 7b1bccc2194fecb87ea061828fbf4321f1099a3a
parent 8ec016d61c9637fbae9865ca1d4c78976e393c60
author Franck Bodmer <bodmer@ids-mannheim.de> 1716995399 +0200
committer Franck Bodmer <bodmer@ids-mannheim.de> 1716995399 +0200

opPROX: PROX_REMAIN defined as a complementary class.

Change-Id: I520a6aa678d74764dbe4ed4a1ddf0708a8b75dba