diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:38 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-09-15 13:54:38 +0900 |
| commit | e223f34bfe63aeaed86c130c5582d3d986c65189 (patch) | |
| tree | 19341bffc9ae806ef2ab9a240a74e146c310b6f0 /.gitignore | |
| parent | cc8550670e11d7c1d082f0be183edcf05aee3e8c (diff) | |
python-acl2-kernel: Rename from jupyter-acl2-kernel to python-acl2-kernel.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions