diff options
| author | Holger Wansing <holgerw@debian.org> | 2017-04-20 19:57:04 +0000 |
|---|---|---|
| committer | Holger Wansing <holgerw@debian.org> | 2017-04-20 19:57:04 +0000 |
| commit | dce15a9844667a13e4254636ca89a28c467d4350 (patch) | |
| tree | 2d0b7366c233b0abcae7ba7f50f5e2d5441e8b8e /build/stylesheets/png | |
| parent | 1ddee96f5abae6f081a53f0500b6bc924ef987b9 (diff) | |
| download | installation-guide-dce15a9844667a13e4254636ca89a28c467d4350.zip | |
Add missing CSS style for <tip> tag. Closes: #860180
Diffstat (limited to 'build/stylesheets/png')
| -rw-r--r-- | build/stylesheets/png/tip.png | bin | 0 -> 1542 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/build/stylesheets/png/tip.png b/build/stylesheets/png/tip.png Binary files differnew file mode 100644 index 000000000..2c881ba08 --- /dev/null +++ b/build/stylesheets/png/tip.png |
