denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

sculpt: change download_debian pkg version

Browse Source
This commit is contained in:
Josef Söntgen
2018-08-29 10:45:22 +02:00
committed by Christian Helmuth
parent 2bdeaec3d2
commit 0bcab1df84
1 changed files with 1 additions and 1 deletions
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/2018-06-13">
<launcher pkg="cnuke/pkg/download_debian/18.08">
<route>
<service name="File_system" label="target"> <child name="vm_fs"/> </service>
<service name="File_system" label="fonts"> <child name="fonts_fs"/> </service>