bookshelf.git/.gitignore, branch main
ACL2 で作ってみた自作ライブラリ関連
http://git.tojo.tokyo/bookshelf.git/atom?h=main
2022-07-13T15:18:05Z
.gitignore: Add `temp-emacs-file.lsp` file.
2022-07-13T15:18:05Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-13T15:18:05Z
urn:sha1:03bd0127e05da64cf0e5b2322095b487a447c93d
Add .gitignore file.
2022-07-13T15:11:33Z
Masaya Tojo
masaya@tojo.tokyo
2022-07-13T15:09:13Z
urn:sha1:f05eef7045fd8dd062443a5607ff58ef567176a5