X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fdoc%2Fhbugs.dia;fp=helm%2Fhbugs%2Fdoc%2Fhbugs.dia;h=e2f0e8ae8ab52a1953458bc2a25a8e6881ded3b5;hb=9c58e2f001010e388dbb283d8aebe4ed0496235f;hp=0000000000000000000000000000000000000000;hpb=4bf917b35e5ce1a71b5b8923800fb8eaba1b3943;p=helm.git diff --git a/helm/hbugs/doc/hbugs.dia b/helm/hbugs/doc/hbugs.dia new file mode 100644 index 000000000..e2f0e8ae8 Binary files /dev/null and b/helm/hbugs/doc/hbugs.dia differ