mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00: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
|
|
|