Graphs: Lie about Ipe version

... so that the pictures work with slightly older version of Ipe, too.

Graphs: Lie about Ipe version
... so that the pictures work with slightly older version of Ipe, too.
eeba6f56 · Martin Mareš · b792873d · eeba6f56 · eeba6f56 · eeba6f56
Commit eeba6f56 authored Sep 21, 2021 by Martin Mareš
--- a/om-graphs/expose-idea.ipe
+++ b/om-graphs/expose-idea.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210602142000" modified="D:20210819141114"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">

--- a/om-graphs/expose-phases.ipe
+++ b/om-graphs/expose-phases.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210602142000" modified="D:20210819163820"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">

--- a/om-graphs/expose-real.ipe
+++ b/om-graphs/expose-real.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210602142000" modified="D:20210825104345"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">

--- a/om-graphs/heavy-light.ipe
+++ b/om-graphs/heavy-light.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210602142000" modified="D:20210602145131"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">

--- a/om-graphs/lazy-update.ipe
+++ b/om-graphs/lazy-update.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210602104852" modified="D:20210602142558"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">

--- a/om-graphs/level-network.ipe
+++ b/om-graphs/level-network.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210602142000" modified="D:20210825150715"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">

--- a/om-graphs/middle-sons.ipe
+++ b/om-graphs/middle-sons.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210602142000" modified="D:20210819144219"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">

--- a/om-graphs/range-tree.ipe
+++ b/om-graphs/range-tree.ipe
 <?xml version="1.0"?>
 <!DOCTYPE ipe SYSTEM "ipe.dtd">
-<ipe version="70212" creator="Ipe 7.2.13">
+<ipe version="70209" creator="Ipe 7.2.9">
 <info created="D:20210528110052" modified="D:20210803140920"/>
 <ipestyle name="basic">
 <symbol name="arrow/arc(spx)">