diff options
| author | Felix Yan | 2019-03-26 00:47:18 +0800 |
|---|---|---|
| committer | Andrew Waterman | 2019-03-25 09:47:18 -0700 |
| commit | ed7c8409d772964dba81de7d2076bc1aeb43c58e (patch) | |
| tree | a7718c0e1828c1a7982a202a2ad8fb3217775fc1 /scripts | |
| parent | de20d4d7d0bb98430871d37e0a7c7c6612b44e0f (diff) | |
Correct a typo in spec.tex (#1063)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions