diff options
| author | Eduardo Julian | 2018-07-21 02:57:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-21 02:57:44 -0400 |
| commit | 35b77d1ae1e0e4d59f8341089b12c0043abaddd8 (patch) | |
| tree | 65d68583f1d694a8c80d2742c77aab68092bb947 /stdlib/README.md | |
| parent | 660c7fe6af927c6e668a86e44fd2f0a9b1fb8b8b (diff) | |
Re-named "Ident" to "Name".
Diffstat (limited to 'stdlib/README.md')
0 files changed, 0 insertions, 0 deletions