mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
Add board-specific repos to .gitignore
This commit is contained in:
parent
75509d77b5
commit
e4ee30abf1
3
.gitignore
vendored
3
.gitignore
vendored
@ -7,5 +7,8 @@
|
||||
/contrib
|
||||
/depot
|
||||
/public
|
||||
/repos/imx
|
||||
/repos/riscv
|
||||
/repos/world
|
||||
/repos/zynq
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user