diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-10-16 18:45:52 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-10-16 18:45:52 +0200 |
| commit | b90465ac987600d09d0f9b9b5afee077925bda06 (patch) | |
| tree | dbfefd2a79043d26eb8d7260a480c5d206195ba4 /haddock-api/resources/html/Ocean.theme/plus.gif | |
| parent | d6b47bbb8bfb88fcf0900fa33376131b5d8e1e6b (diff) | |
Minor tweak to package description
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/plus.gif')
0 files changed, 0 insertions, 0 deletions