c356bdeeae
unfortunately the debian packaging files should reside in the root folder and cannot be placed under contrib/dist/... tree. developed by Aleksey, reviewed by miked cmr=v1.7.4:reviewer=ompi-gk1.7 This commit was SVN r29615.