diff options
| author | Théo Zimmermann | 2018-04-24 11:59:43 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-05-05 11:53:56 +0200 |
| commit | b9b2af0e19f13baae9b24aa3e11fb40ddf4fcb18 (patch) | |
| tree | 404731d48a2a76ad474d0092d19947479a58c512 /dev/tools/pre-commit | |
| parent | 87c959542e1bed55b14d371f1be02cd60d89082c (diff) | |
Fix typo in Coercions chapter.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions