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/inets/doc/src/ref_man.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/inets/doc/src/ref_man.gif')
| -rw-r--r-- | lib/inets/doc/src/ref_man.gif | bin | 1530 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/inets/doc/src/ref_man.gif b/lib/inets/doc/src/ref_man.gif Binary files differdeleted file mode 100644 index b13c4efd53..0000000000 --- a/lib/inets/doc/src/ref_man.gif +++ /dev/null |
