diff options
| author | Yuchen Pei <me@ypei.me> | 2020-04-30 22:44:30 +0200 |
|---|---|---|
| committer | Yuchen Pei <me@ypei.me> | 2020-04-30 22:44:30 +0200 |
| commit | 9f14879ad52c2bdbbe38e7f2a125a7fa42dea5f0 (patch) | |
| tree | f0a50b17d108093a6dfd910cc5c4a8c45aa8a92b /.gitignore | |
| parent | 1f308d0425752168611ded7af72d1f953abdf843 (diff) | |
Corrected a typo when deriving (5) from (4) and (1).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions