diff options
| author | Mariano Guerra <[email protected]> | 2016-10-22 17:50:32 +0100 |
|---|---|---|
| committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
| commit | 2a9a49cd246cd988c6a12dfd858e53f4baa38329 (patch) | |
| tree | c584f220ead066a88d215b0bcf07592552cec994 | |
| parent | af28ddaa6cf00ac39fed0b2bfa3e5c7742059965 (diff) | |
| download | otp-2a9a49cd246cd988c6a12dfd858e53f4baa38329.tar.gz otp-2a9a49cd246cd988c6a12dfd858e53f4baa38329.tar.bz2 otp-2a9a49cd246cd988c6a12dfd858e53f4baa38329.zip | |
update flipmenu icons
| -rw-r--r-- | lib/erl_docgen/priv/js/flipmenu/flip_closed.gif | bin | 113 -> 79 bytes |
| -rw-r--r-- | lib/erl_docgen/priv/js/flipmenu/flip_open.gif | bin | 119 -> 85 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/lib/erl_docgen/priv/js/flipmenu/flip_closed.gif b/lib/erl_docgen/priv/js/flipmenu/flip_closed.gif Binary files differindex fd4457f76a..a75107a782 100644 --- a/lib/erl_docgen/priv/js/flipmenu/flip_closed.gif +++ b/lib/erl_docgen/priv/js/flipmenu/flip_closed.gif diff --git a/lib/erl_docgen/priv/js/flipmenu/flip_open.gif b/lib/erl_docgen/priv/js/flipmenu/flip_open.gif Binary files differindex af93d892e8..1274637fe0 100644 --- a/lib/erl_docgen/priv/js/flipmenu/flip_open.gif +++ b/lib/erl_docgen/priv/js/flipmenu/flip_open.gif |
