e589728b6f
There are 508 non-indented (non-default) labels, and 511 that are indented. So the rule is debatable at least. Actually, in the common case of labels at the outermost scope, there is really just one place where to put the label, so the rule is just wrong IMHO. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Anthony Liguori <aliguori@us.ibm.com> |
||
---|---|---|
.. | ||
kvm | ||
analyse-9p-simpletrace.py | ||
checkpatch.pl | ||
create_config | ||
feature_to_c.sh | ||
get_maintainer.pl | ||
hxtool | ||
make_device_config.sh | ||
ordereddict.py | ||
qapi-commands.py | ||
qapi-types.py | ||
qapi-visit.py | ||
qapi.py | ||
qemu-binfmt-conf.sh | ||
refresh-pxe-roms.sh | ||
signrom.sh | ||
simpletrace.py | ||
texi2pod.pl | ||
tracetool | ||
update-linux-headers.sh |