Martin Kepplinger e203de9669 gui-init: rename Advanced Settings to Settings ...

Since there are no other settings to choose from, there don't have to
be "advanced" ones.

2019-05-25 10:40:50 +02:00

..

.gnupg

instruct gpg to use gpg-agent.

2019-01-29 11:16:13 -05:00

bin

gui-init: rename Advanced Settings to Settings

2019-05-25 10:40:50 +02:00

etc

reverting shred on a file that is not a secret to be shredded

2019-02-24 10:29:05 -05:00

sbin

"$@" does not expand correctly in test expressions, use "$*" instead (issue #181)

2017-04-11 06:31:25 -04:00

.ash_history

GPG2 required changes for key and trustdb generation and inclusion in rom

2019-01-29 11:18:11 -05:00

init

Merge branch 'master' into gpg2

2019-02-08 13:29:02 -05:00

mount-boot

extract and verify gpg signature on the boot script

2016-08-06 17:13:22 -04:00