diff options
| author | Anthony Ramine <[email protected]> | 2013-05-09 03:38:36 +0200 |
|---|---|---|
| committer | Anthony Ramine <[email protected]> | 2013-05-23 11:41:33 +0200 |
| commit | 9f047024326582742dc9d3d93e6f5af14b842ac9 (patch) | |
| tree | 2c6aae69e1323cfdd4c50fe06a3096bf77cd0c23 /.gitignore | |
| parent | 89939207898fc68a2ee0c080e603aa65fb866b25 (diff) | |
| download | otp-9f047024326582742dc9d3d93e6f5af14b842ac9.tar.gz otp-9f047024326582742dc9d3d93e6f5af14b842ac9.tar.bz2 otp-9f047024326582742dc9d3d93e6f5af14b842ac9.zip | |
Properly ignore os_mon and otp_mibs generated includes
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index a3e03dc46f..7ccedd3ff3 100644 --- a/.gitignore +++ b/.gitignore @@ -287,13 +287,13 @@ JAVADOC-GENERATED # otp_mibs -/lib/otp_mibs/include/[A-Z]*.hrl +/lib/otp_mibs/include/OTP*.hrl /lib/otp_mibs/mibs/v1/OTP*.mib.v1 /lib/otp_mibs/priv/mibs/OTP*.bin # os_mon -/lib/os_mon/include/[A-Z]*.hrl +/lib/os_mon/include/OTP*.hrl /lib/os_mon/mibs/v1/OTP*.mib.v1 /lib/os_mon/priv/mibs/OTP*.bin |