diff options
| author | Willem Van Onsem <3482343+KommuSoft@users.noreply.github.com> | 2020-12-08 18:26:55 +0100 |
|---|---|---|
| committer | alexbiehl <alexbiehl@gmail.com> | 2021-02-07 18:25:30 +0100 |
| commit | 04da98934ad1c083d21ffc6a83a834c6c4b555d4 (patch) | |
| tree | 9ab05e60afe92216991c5c5f3a39ca6a3fce8ae7 /haddock-api/resources/html/Ocean.theme | |
| parent | d20dcc3a61ec61860560216fe88e8dc26097fb35 (diff) | |
simplify calculating percentages fixing #1194 (#1236)
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme')
0 files changed, 0 insertions, 0 deletions