diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-23 09:24:58 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-23 09:24:58 +0900 |
| commit | 12733bfa51f3cc6c98d2b067bf3217f4e2a76145 (patch) | |
| tree | 0e0722978d8298ec56eccc3d946e68f68cc29f38 /.gitignore | |
| parent | e282059796398716700102afd6fb2ee0945399e9 (diff) | |
Add theorem of `safe-hit`.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions