diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-10 11:21:11 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-10 11:30:36 +0200 |
| commit | 7fd9c353e1149dc657086a718761e8e1ff05dcce (patch) | |
| tree | 101dc1a40f864d9775baa08b93aeeb798277a91f /cmdline | |
| parent | 5bfd306ee16fd1be012dd2cd01ae52ff4179176a (diff) | |
policy: Assign per-version pins
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions