diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-24 12:48:45 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-24 12:48:56 +0100 |
| commit | f19afdbfb4cb2223d492d5e7d4087567af9d5f28 (patch) | |
| tree | a2665c989ee148efda01131fa2b68322a61b94eb /contrib | |
| parent | dd6e0d630167c1d2acc008f56fdea6cfdb8e6e84 (diff) | |
| parent | dc222f8f634d5bb82d4646f9a17f0d40a60bcf60 (diff) | |
Merge #9612: [trivial] Rephrase the definition of difficulty.
dc222f8 Trivial: Rephrase the definition of difficulty in the code. (Karl-Johan Alm)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions