From eeba6f5647889c2b75801142ca0504ca476152ad Mon Sep 17 00:00:00 2001 From: Martin Mares <mj@ucw.cz> Date: Tue, 21 Sep 2021 12:48:27 +0200 Subject: [PATCH] Graphs: Lie about Ipe version ... so that the pictures work with slightly older version of Ipe, too. --- om-graphs/expose-idea.ipe | 2 +- om-graphs/expose-phases.ipe | 2 +- om-graphs/expose-real.ipe | 2 +- om-graphs/heavy-light.ipe | 2 +- om-graphs/lazy-update.ipe | 2 +- om-graphs/level-network.ipe | 2 +- om-graphs/middle-sons.ipe | 2 +- om-graphs/range-tree.ipe | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/om-graphs/expose-idea.ipe b/om-graphs/expose-idea.ipe index 520aa4a..4f9c656 100644 --- a/om-graphs/expose-idea.ipe +++ b/om-graphs/expose-idea.ipe @@ -1,6 +1,6 @@ <?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)"> diff --git a/om-graphs/expose-phases.ipe b/om-graphs/expose-phases.ipe index 517b5a3..7915110 100644 --- a/om-graphs/expose-phases.ipe +++ b/om-graphs/expose-phases.ipe @@ -1,6 +1,6 @@ <?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)"> diff --git a/om-graphs/expose-real.ipe b/om-graphs/expose-real.ipe index de4a3a8..0dde60d 100644 --- a/om-graphs/expose-real.ipe +++ b/om-graphs/expose-real.ipe @@ -1,6 +1,6 @@ <?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)"> diff --git a/om-graphs/heavy-light.ipe b/om-graphs/heavy-light.ipe index 16c53f7..5eef3b3 100644 --- a/om-graphs/heavy-light.ipe +++ b/om-graphs/heavy-light.ipe @@ -1,6 +1,6 @@ <?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)"> diff --git a/om-graphs/lazy-update.ipe b/om-graphs/lazy-update.ipe index 48c2aa4..7f66c72 100644 --- a/om-graphs/lazy-update.ipe +++ b/om-graphs/lazy-update.ipe @@ -1,6 +1,6 @@ <?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)"> diff --git a/om-graphs/level-network.ipe b/om-graphs/level-network.ipe index 41703e6..4931406 100644 --- a/om-graphs/level-network.ipe +++ b/om-graphs/level-network.ipe @@ -1,6 +1,6 @@ <?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)"> diff --git a/om-graphs/middle-sons.ipe b/om-graphs/middle-sons.ipe index 2254c15..1e965f8 100644 --- a/om-graphs/middle-sons.ipe +++ b/om-graphs/middle-sons.ipe @@ -1,6 +1,6 @@ <?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)"> diff --git a/om-graphs/range-tree.ipe b/om-graphs/range-tree.ipe index c9eb699..f6f21c5 100644 --- a/om-graphs/range-tree.ipe +++ b/om-graphs/range-tree.ipe @@ -1,6 +1,6 @@ <?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)"> -- GitLab