[planner: 1/2] Unzip Dia diagrams

[Mart Raudsepp <mraudsepp src gnome org>]

commit fa0ed6285e642bec56478c40d1dafbb9478496e4
Author: Ahmed Baïzid <ahmed baizid 0 gmail com>
Date:   Fri Jan 21 11:47:04 2022 +0100

    Unzip Dia diagrams
    
        planner$ L=$(find -name *.dia)
        planner$ for f in $L; do xmllint --format -o $f.tmp $f && mv $f.tmp $f; done
    
    Closes issue World/planner#226.

 docs/mrp-class-diagram.dia               | Bin 3885 -> 93027 bytes
 docs/mrp-project-interaction-diagram.dia | Bin 1434 -> 18744 bytes
 2 files changed, 0 insertions(+), 0 deletions(-)
---
diff --git a/docs/mrp-class-diagram.dia b/docs/mrp-class-diagram.dia
index 1018b71..e7ca43d 100644
Binary files a/docs/mrp-class-diagram.dia and b/docs/mrp-class-diagram.dia differ
diff --git a/docs/mrp-project-interaction-diagram.dia b/docs/mrp-project-interaction-diagram.dia
index 82b7b4c..8981935 100644
Binary files a/docs/mrp-project-interaction-diagram.dia and b/docs/mrp-project-interaction-diagram.dia differ