tree a33bb910c31ea4658105bb5d8158ca6d631a2a06
parent 78e828c4af4140dfa59cf735039a7fe54fde1b39
author Franck Bodmer <bodmer@ids-mannheim.de> 1705079117 +0100
committer Franck Bodmer <bodmer@ids-mannheim.de> 1705079117 +0100

Prox: error messages for wrong prox. options.

Change-Id: Iac430c5bba3dfe30606a8079060f4a6c5bdb4781