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

sculpt: update download_debian launcher for 18.11

This commit is contained in:
Josef Söntgen 2018-11-27 12:15:05 +01:00 committed by Christian Helmuth
parent 876f60169c
commit af5869cd07
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/gems/run/sculpt/launcher/download_debian
View File

@ -1,4 +1,4 @@
<launcher pkg="cnuke/pkg/download_debian/18.09">
<launcher pkg="cnuke/pkg/download_debian/18.11">
<route>
<service name="File_system" label="target"> <child name="vm_fs"/> </service>
<service name="File_system" label="fonts"> <child name="fonts_fs"/> </service>