alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
master
genode/tool/depot/publish_current
Roman Iten 058b92ca99 depot: tool for publishing current versions 
In order to simplify the automation of publishing archives, this tool
publishes the current version as specified in the recipes.

Fixes #2799
2018-05-03 16:11:53 +02:00

1.2 KiB
Executable File
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink