summaryrefslogtreecommitdiff
path: root/cmdline
diff options
context:
space:
mode:
authorJulian Andres Klode <jak@debian.org>2015-08-10 11:21:11 +0200
committerJulian Andres Klode <jak@debian.org>2015-08-10 11:30:36 +0200
commit7fd9c353e1149dc657086a718761e8e1ff05dcce (patch)
tree101dc1a40f864d9775baa08b93aeeb798277a91f /cmdline
parent5bfd306ee16fd1be012dd2cd01ae52ff4179176a (diff)
policy: Assign per-version pins
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions