diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2017-07-20 12:18:38 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2017-07-20 12:18:38 +0200 |
| commit | 53598f89117d3a860eaf11ec44f93acf708b93c1 (patch) | |
| tree | 2a89caac2ed75d0b0b2dda3b443b3931969a44ef /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | 92d95c2121e0323884ce65133611f309bd13786f (diff) | |
Mention new-build in README
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions