diff options
| author | Théo Zimmermann | 2019-04-27 16:32:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-27 16:32:57 +0200 |
| commit | 5d617becffc18cbb022773accc2d7902f0119646 (patch) | |
| tree | aeb13e8e8b6a4f9d6480967dd273d830f0d40344 /dev | |
| parent | ae4239d6a5f4afcd9b7321dba790ffd4a64994a1 (diff) | |
[refman] Fix typo.
Noticed by Maxime Dénès.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions