mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
f014c2fac6
Since we moved to the new ports mechanism, the source tree is clean from downloaded 3rd-party code.
10 lines
53 B
Plaintext
10 lines
53 B
Plaintext
*~
|
|
*.orig
|
|
*.swp
|
|
*.rej
|
|
|
|
/build
|
|
/contrib
|
|
/repos/world
|
|
|