r
/
bookshelf
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
bookshelf/.gitignore

4 lines
31 B
Plaintext
Raw Normal View History

Initialize lean project.
2023-02-05 15:45:51 +00:00
*.olean
/_target
/leanpkg.path