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

base-nova: migrate to new ports mechanism

Browse Source 
Issue #1082
This commit is contained in:
Norman Feske
2014-05-18 19:33:29 +02:00
parent 35cf48cdc8
commit 7d4f8fa746
5 changed files with 15 additions and 34 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@@ -9,8 +9,6 @@
/repos/base-fiasco/contrib
/repos/base-fiasco/download
/repos/base-foc/contrib
/repos/base-nova/contrib
/repos/base-nova/download
/repos/base-pistachio/contrib
/repos/dde_ipxe/contrib
/repos/dde_linux/contrib