[SCM] Openide utilities library branch, debian, deleted. debian/6.7.1-1-16-g88eda6a

[Giovanni Mascellani]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Openide utilities library".

The branch, debian has been deleted
       was  88eda6a7f6e93ac964f61186d1ea3978c6f7dc79

-----------------------------------------------------------------------
88eda6a7f6e93ac964f61186d1ea3978c6f7dc79 Debian branch polished
-----------------------------------------------------------------------


hooks/post-receive
-- 
Openide utilities library