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