diff options
author | Lars Thorsen <[email protected]> | 2017-09-25 15:15:37 +0200 |
---|---|---|
committer | Lars Thorsen <[email protected]> | 2017-09-28 12:09:29 +0200 |
commit | 9395c7b4a2079349fdb881a1f537af5b73eacfd2 (patch) | |
tree | 52cbb3478bc02f01610fed17aef8a98836ffae9b /lib/snmp/doc/src/min_head.gif | |
parent | bb94c48b5e43bb4673794ca83d00e2091750e707 (diff) | |
download | otp-9395c7b4a2079349fdb881a1f537af5b73eacfd2.tar.gz otp-9395c7b4a2079349fdb881a1f537af5b73eacfd2.tar.bz2 otp-9395c7b4a2079349fdb881a1f537af5b73eacfd2.zip |
Remove unused files from the documentation build
Diffstat (limited to 'lib/snmp/doc/src/min_head.gif')
-rw-r--r-- | lib/snmp/doc/src/min_head.gif | bin | 2652 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/snmp/doc/src/min_head.gif b/lib/snmp/doc/src/min_head.gif Binary files differdeleted file mode 100644 index 67948a6378..0000000000 --- a/lib/snmp/doc/src/min_head.gif +++ /dev/null |