diff options
author | JSDurand <mmemmew@gmail.com> | 2023-07-21 19:14:51 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-07-21 19:14:51 +0800 |
commit | 0bf1d3d9d883d0b63792c68541b23404aae0ec8f (patch) | |
tree | c45575c5eed6205d49dcb97017ae37027bd3fb9e /INSTALL | |
parent | ffb6e689d28d295733b90f2b9e184205e33f19c2 (diff) |
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.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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, |