Skip to content
  • Ahmed Baïzid's avatar
    Unzip Dia diagrams · fa0ed628
    Ahmed Baïzid authored
        planner$ L=$(find -name *.dia)
        planner$ for f in $L; do xmllint --format -o $f.tmp $f && mv $f.tmp $f; done
    
    Closes issue #226.
    fa0ed628