From 0bf1d3d9d883d0b63792c68541b23404aae0ec8f Mon Sep 17 00:00:00 2001
From: JSDurand <mmemmew@gmail.com>
Date: Fri, 21 Jul 2023 19:14:51 +0800
Subject: Print graphs with edges in order

* chain/src/item/default/mod.rs:
* graph/src/labelled/binary.rs:
* graph/src/labelled/double.rs:
* graph/src/lib.rs: If we set the option "ordering" to be "out" in the
  declaration of nodes at the beginning, then GraphViz will not change
  the order of children out of nodes.  This is much better looking in
  my opinion.

* INSTALL: make insists in changing this file, so let it be.
---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index a4cdc52..e82fd21 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,7 +1,7 @@
 Installation Instructions
 *************************
 
-   Copyright (C) 1994-1996, 1999-2002, 2004-2017, 2020-2023 Free
+   Copyright (C) 1994-1996, 1999-2002, 2004-2017, 2020-2021 Free
 Software Foundation, Inc.
 
    Copying and distribution of this file, with or without modification,
-- 
cgit v1.2.3-18-g5258