ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-23 15:32:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
7,512 Commits 2 Branches 70 Tags 87 MiB
f65a7650c5
Commit Graph

3 Commits

Author SHA1 Message Date
Alexander Boettcher
9eabe316bf depot: support for gpg command override 
Fixes #2981
 2018-09-21 15:49:52 +02:00
Emery Hemingway
b51ee34b11 Depot: support for GPG command line override 
Allow the gpg utility to be overridden on the command line. For
example, './tool/depot/publish GPG="ssh 10.0.1.3 gpg" ...' would invoke
a remote gpg over SSH.

Fix #2981
 2018-09-17 14:11:37 +02:00
Norman Feske
39eff7f249 Tool for assembling API/source/binary archives 
Issue #2339
 2017-05-31 13:15:56 +02:00