diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:01 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:01 +0900 |
| commit | cc8550670e11d7c1d082f0be183edcf05aee3e8c (patch) | |
| tree | 1227970c39416bc259f8a654274373f560ecfadf /.gitignore | |
| parent | 3b1b4fda0e3d59cd7585b1697aa6d039df1307fb (diff) | |
jupyter-acl2-kernel: Add `#t` to install-kernel phase.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions