diff options
author | Guillaume Bouchard <guillaum.bouchard@gmail.com> | 2018-08-21 09:45:57 +0200 |
---|---|---|
committer | Alexander Biehl <alexbiehl@gmail.com> | 2018-08-21 09:45:57 +0200 |
commit | 00a42146c2527d8ede65c35e60db9e112b4ccc03 (patch) | |
tree | fb27377583ec8c7f361098615286faa2bbef5dfa /haddock-api/resources/html/Ocean.theme | |
parent | d25a4f1ec834fa69663a50a6963476e8b3576d1a (diff) |
Fix a typo (#878)
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme')
0 files changed, 0 insertions, 0 deletions