[erlang-patches] Properly ignore os_mon and otp_mibs generated includes

[Fredrik]

On 05/09/2013 03:09 PM, Anthony Ramine wrote:
> Hello,
>
> 	git fetch https://github.com/nox/otp.git fix-ignore
>
> 	https://github.com/nox/otp/compare/erlang:maint...fix-wcwidth
> 	https://github.com/nox/otp/compare/erlang:maint...fix-wcwidth.patch
>
> Regards,
>
Hello Anthony,
I've fetched your branch and you should see it in the 'pu' branch shortly.
Thanks,

-- 

BR Fredrik Gustafsson
Erlang OTP Team