diff options
| author | Alasdair Armstrong | 2019-05-29 19:54:37 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-29 19:54:37 +0100 |
| commit | 8b79f357076c438e16040db03c5f42dda20b9ff9 (patch) | |
| tree | dcd7f8de9b6f5ebaa1b838043aa431eb460bdca4 /src/util.mli | |
| parent | 2c9dfe7b83ac562e13042ac39867ca8bca43f496 (diff) | |
Some minor grammar fixes in internals.md
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions