diff options
| author | Vincent Esche <[email protected]> | 2019-03-20 08:29:10 +0000 |
|---|---|---|
| committer | Vincent Esche <[email protected]> | 2019-03-20 08:29:10 +0000 |
| commit | 21f20d5debe141e5c0d34ab56c4563a8be077aca (patch) | |
| tree | 32ddffef8d2c21e9f5229f2608a1aaf8f60cc8b5 /docs/dev | |
| parent | d080c8f02105bc52f069785ae3e843a6606560e1 (diff) | |
Fixed typo in `Interner`’s name (`Intener`)
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions