diff options
| author | Jaka Kranjc | 2008-06-14 15:37:16 +0200 |
|---|---|---|
| committer | Jaka Kranjc | 2008-06-14 15:37:16 +0200 |
| commit | dfcf94d934cb72d5e77e057594d810de91422cb6 (patch) | |
| tree | 13af0f7238188f9cd0ff8834ab80289f59b7a0bc /gnu-verified.gpg | |
| parent | d075dca0e060c0bf49716dc4b4269b3e8c4a0063 (diff) | |
*.gpg: minimized keyrings and saved 385K
important since part of that is always reproduced in the tablet
used:
find -iname "*.gpg" | while read a; do gpg --no-default-keyring --keyring ./$a \
--export-options export-minimal --output ${a}2 --export;
du -sh ${a} ${a}2; mv ${a}2 ${a}; done
Diffstat (limited to 'gnu-verified.gpg')
| -rw-r--r-- | gnu-verified.gpg | bin | 23399 -> 22107 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnu-verified.gpg b/gnu-verified.gpg Binary files differindex 32448f22f0..96032f263b 100644 --- a/gnu-verified.gpg +++ b/gnu-verified.gpg |