mirror of
https://github.com/rcore-os/rCore.git
synced 2024-11-24 08:56:17 +04:00
Ignore the build directory
This commit is contained in:
parent
b3d457bd79
commit
de26d37527