diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-20 23:28:46 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-20 23:28:46 +0200 |
| commit | fa89b060f01d762b0f7b9def5cca5876f9a302db (patch) | |
| tree | a278185b34d5dfc8f109343e2bdf19f1bb0930e0 /haddock-api/resources/html/Ocean.theme/synopsis.png | |
| parent | 679f61210b18acd6299687fca66c81196ca358a5 (diff) | |
Update Travis CI job
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions