diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-07-27 10:51:07 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-07-27 10:51:07 +1000 |
| commit | 076cae05a3b190782cb76a4073b596353d739116 (patch) | |
| tree | 09f69498898315908431dbf283fab712735070cf /nontrivial utility/nontriv.html | |
| parent | 4143cf819b26b9a31a79cd51c3db34875d4c5315 (diff) | |
fixing some bugs introduced in the previous commit.
also corrected a typo
Diffstat (limited to 'nontrivial utility/nontriv.html')
0 files changed, 0 insertions, 0 deletions