alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Tool for preparing a single 3rd-party port

Browse Source 
Issue #1082
This commit is contained in:
Norman Feske
2014-05-07 23:47:20 +02:00
parent ba291bcc57
commit a128b40f03
3 changed files with 407 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@@ -4,7 +4,7 @@
*.rej
/build
/contrib
/repos/base-codezero/contrib
/repos/base-fiasco/contrib
/repos/base-fiasco/download